zdm/envoy
Archived
3
Fork 0
Code Issues 22 Pull Requests Releases 1 Wiki Activity

Merge pull request #85 from informatik-ag-ngl/b/activeThemeEdit

Browse Source 
Fixed not updating theme when editing active theme bug.
This commit is contained in:
Kai S. K. Engelbart
2019-12-28 21:48:50 +02:00
committed by GitHub
parent 9b142c8484 8e6ab074aa
commit 9725945b5f
1 changed files with 5 additions and 1 deletions
Download Patch File Download Diff File Expand all files Collapse all files

4
src/main/java/envoy/client/ui/settings/ThemeCustomizationPanel.java
View File

@@ -143,7 +143,11 @@ public class ThemeCustomizationPanel extends SettingsPanel {
}, (name) -> { }, (name) -> {
// Modify theme // Modify theme
Settings.getInstance().getThemes().replace(name, new Theme(name, temporaryTheme)); Settings.getInstance().getThemes().replace(name, new Theme(name, temporaryTheme));
if(themes.getSelectedItem().equals(name)) {
EventBus.getInstance().dispatch(new ThemeChangeEvent(Settings.getInstance().getTheme(name)));
}else {
themes.setSelectedItem(name); themes.setSelectedItem(name);
}
}).setVisible(true); }).setVisible(true);
themeChanged = false; themeChanged = false;
} }