# This patch file was generated by NetBeans IDE
# Following Index: paths are relative to: /Users/mkleint/src/openide/awt/src/org/openide/awt
# This patch can be applied using context Tools: Patch action on respective folder.
# It uses platform neutral UTF-8 encoding and \n newlines.
# Above lines and this line are ignored by the patching process.
Index: HtmlLabelUI.java
*** /Users/mkleint/src/openide/awt/src/org/openide/awt/HtmlLabelUI.java Base (1.10)
--- /Users/mkleint/src/openide/awt/src/org/openide/awt/HtmlLabelUI.java Locally Modified (Based On 1.10)
***************
*** 41,52 ****
  class HtmlLabelUI extends LabelUI {
  
      /** System property to automatically turn on antialiasing for html strings */
!     static final boolean GTK = "GTK".equals(UIManager.getLookAndFeel().getID());
      
      private static final boolean antialias = Boolean.getBoolean("nb.cellrenderer.antialiasing") // NOI18N
           ||Boolean.getBoolean("swing.aatext") // NOI18N
           ||(GTK && gtkShouldAntialias()) // NOI18N
!          ||"Aqua".equals(UIManager.getLookAndFeel().getID()); //NOI18N
      
      private static HtmlLabelUI uiInstance;
      
--- 41,53 ----
  class HtmlLabelUI extends LabelUI {
  
      /** System property to automatically turn on antialiasing for html strings */
!     static final boolean GTK = "GTK".equals(UIManager.getLookAndFeel().getID());//NOI18N
!     static final boolean AQUA = "Aqua".equals(UIManager.getLookAndFeel().getID());//NOI18N
      
      private static final boolean antialias = Boolean.getBoolean("nb.cellrenderer.antialiasing") // NOI18N
           ||Boolean.getBoolean("swing.aatext") // NOI18N
           ||(GTK && gtkShouldAntialias()) // NOI18N
!          ||AQUA; 
      
      private static HtmlLabelUI uiInstance;
      
***************
*** 191,197 ****
                  focus = Color.BLUE;
              }
  
!             if (!GTK) {
                  int x = ((h.getIcon() == null) ? 0 : (h.getIcon().getIconWidth() + h.getIconTextGap()));
                  g.setColor(focus);
                  g.drawRect(x, 0, c.getWidth() - (x + 1), c.getHeight() - 1);
--- 192,198 ----
                  focus = Color.BLUE;
              }
  
!             if (!GTK && !AQUA) {
                  int x = ((h.getIcon() == null) ? 0 : (h.getIcon().getIconWidth() + h.getIconTextGap()));
                  g.setColor(focus);
                  g.drawRect(x, 0, c.getWidth() - (x + 1), c.getHeight() - 1);