< prev index next >

src/java.desktop/windows/classes/sun/awt/Win32GraphicsConfig.java

Print this page

        

@@ -92,11 +92,11 @@
         return new Win32GraphicsConfig(device, pixFormatID);
     }
 
     /**
      * @deprecated as of JDK version 1.3
-     * replaced by <code>getConfig()</code>
+     * replaced by {@code getConfig()}
      */
     @Deprecated
     public Win32GraphicsConfig(GraphicsDevice device, int visualnum) {
         this.screen = (Win32GraphicsDevice)device;
         this.visual = visualnum;
< prev index next >