()
| 161 | |
| 162 | |
| 163 | public void updateMode() { |
| 164 | Mode mode = editor.getMode(); |
| 165 | |
| 166 | textColor[SELECTED] = mode.getColor("footer.text.selected.color"); |
| 167 | textColor[UNSELECTED] = mode.getColor("footer.text.unselected.color"); |
| 168 | font = mode.getFont("footer.text.font"); |
| 169 | |
| 170 | tabColor[SELECTED] = mode.getColor("footer.tab.selected.color"); |
| 171 | tabColor[UNSELECTED] = mode.getColor("footer.tab.unselected.color"); |
| 172 | |
| 173 | updateColor = mode.getColor("footer.updates.color"); |
| 174 | |
| 175 | gradient = mode.makeGradient("footer", 400, HIGH); |
| 176 | // Set the default background color in case the window size reported |
| 177 | // incorrectly by the OS, or we miss an update event of some kind |
| 178 | // https://github.com/processing/processing/issues/3919 |
| 179 | bgColor = mode.getColor("footer.gradient.bottom"); |
| 180 | setBackground(bgColor); |
| 181 | } |
| 182 | |
| 183 | |
| 184 | // . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . |
no test coverage detected