()
| 104 | |
| 105 | |
| 106 | public void updateTheme() { |
| 107 | gradient = Theme.makeGradient("toolbar", Toolkit.zoom(400), HIGH); |
| 108 | |
| 109 | rolloverLabel.setFont(Theme.getFont("toolbar.rollover.font")); |
| 110 | rolloverLabel.setForeground(Theme.getColor("toolbar.rollover.color")); |
| 111 | |
| 112 | for (Component c : box.getComponents()) { |
| 113 | if (c instanceof EditorButton) { |
| 114 | ((EditorButton) c).updateTheme(); |
| 115 | } |
| 116 | } |
| 117 | modeSelector.updateTheme(); |
| 118 | repaint(); |
| 119 | } |
| 120 | |
| 121 | |
| 122 | public void paintComponent(Graphics g) { |