@Override public void setBackground(Color c) { if (log.isLoggable(PlatformLogger.Level.FINE)) { log.fine("target=" + target + ", old=" + background + ", new=" + c); } background = c; if (xtext != null) { if (xtext.getBackground() != c) { xtext.setBackground(c); } xtext.setSelectedTextColor(c); } repaintText(); }