()
| 155 | |
| 156 | |
| 157 | public void updateTheme() { |
| 158 | textColor[SELECTED] = Theme.getColor("footer.text.selected.color"); |
| 159 | textColor[ENABLED] = Theme.getColor("footer.text.enabled.color"); |
| 160 | font = Theme.getFont("footer.text.font"); |
| 161 | |
| 162 | tabColor[SELECTED] = Theme.getColor("footer.tab.selected.color"); |
| 163 | tabColor[ENABLED] = Theme.getColor("footer.tab.enabled.color"); |
| 164 | |
| 165 | gradient = Theme.makeGradient("footer", 400, HIGH); |
| 166 | // Set the default background color in case the window size reported |
| 167 | // incorrectly by the OS, or we miss an update event of some kind |
| 168 | // https://github.com/processing/processing/issues/3919 |
| 169 | bgColor = Theme.getColor("footer.gradient.bottom"); |
| 170 | setBackground(bgColor); |
| 171 | |
| 172 | for (Tab tab : tabs) { |
| 173 | tab.updateTheme(); |
| 174 | } |
| 175 | |
| 176 | // replace colors for the "updates" indicator |
| 177 | controller.updateTheme(); |
| 178 | } |
| 179 | |
| 180 | |
| 181 | // . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . |
no test coverage detected