()
| 136 | |
| 137 | |
| 138 | public void updateTheme() { |
| 139 | textColor[SELECTED] = Theme.getColor("header.text.selected.color"); |
| 140 | textColor[UNSELECTED] = Theme.getColor("header.text.unselected.color"); |
| 141 | font = Theme.getFont("header.text.font"); |
| 142 | |
| 143 | tabColor[SELECTED] = Theme.getColor("header.tab.selected.color"); |
| 144 | tabColor[UNSELECTED] = Theme.getColor("header.tab.unselected.color"); |
| 145 | |
| 146 | arrowColor = Theme.getColor("header.tab.arrow.color"); |
| 147 | //modifiedColor = mode.getColor("editor.selection.color"); |
| 148 | modifiedColor = Theme.getColor("header.tab.modified.color"); |
| 149 | |
| 150 | gradient = Theme.makeGradient("header", 400, HIGH); |
| 151 | } |
| 152 | |
| 153 | |
| 154 | public void paintComponent(Graphics g) { |
no test coverage detected