mirror of
https://github.com/processing/processing4.git
synced 2026-06-16 04:26:26 +02:00
switch to manager.categories instead of manager.combo_box
This commit is contained in:
@@ -541,7 +541,7 @@ public class ContributionTab extends JPanel {
|
||||
if (categoryChooser.getUI() instanceof PdeComboBoxUI) {
|
||||
((PdeComboBoxUI) categoryChooser.getUI()).updateTheme();
|
||||
} else {
|
||||
categoryChooser.setUI(new PdeComboBoxUI("manager"));
|
||||
categoryChooser.setUI(new PdeComboBoxUI("manager.categories"));
|
||||
}
|
||||
|
||||
/*
|
||||
|
||||
@@ -130,12 +130,12 @@ public class PdeComboBoxUI extends BasicComboBoxUI {
|
||||
|
||||
|
||||
public void updateTheme() {
|
||||
enabledFgColor = Theme.getColor(prefix + ".combo_box.enabled.fgcolor");
|
||||
enabledBgColor = Theme.getColor(prefix + ".combo_box.enabled.bgcolor");
|
||||
disabledFgColor = Theme.getColor(prefix + ".combo_box.disabled.fgcolor");
|
||||
disabledBgColor = Theme.getColor(prefix + ".combo_box.disabled.bgcolor");
|
||||
selectedFgColor = Theme.getColor(prefix + ".combo_box.selected.fgcolor");
|
||||
selectedFgColor = Theme.getColor(prefix + ".combo_box.selected.fgcolor");
|
||||
enabledFgColor = Theme.getColor(prefix + ".enabled.fgcolor");
|
||||
enabledBgColor = Theme.getColor(prefix + ".enabled.bgcolor");
|
||||
disabledFgColor = Theme.getColor(prefix + ".disabled.fgcolor");
|
||||
disabledBgColor = Theme.getColor(prefix + ".disabled.bgcolor");
|
||||
selectedFgColor = Theme.getColor(prefix + ".selected.fgcolor");
|
||||
selectedFgColor = Theme.getColor(prefix + ".selected.fgcolor");
|
||||
|
||||
if (arrowButton.isEnabled()) {
|
||||
arrowButton.setBackground(enabledBgColor);
|
||||
|
||||
@@ -209,12 +209,12 @@ manager.tab.background = #6BA0C7
|
||||
## ContributionTab
|
||||
|
||||
# category chooser for libraries
|
||||
manager.combo_box.enabled.fgcolor = #00FF00
|
||||
manager.combo_box.enabled.bgcolor = #000000
|
||||
manager.combo_box.disabled.fgcolor = #444444
|
||||
manager.combo_box.disabled.bgcolor = #666666
|
||||
manager.combo_box.selected.fgcolor = #FF8000
|
||||
manager.combo_box.selected.bgcolor = #0080FF
|
||||
manager.categories.enabled.fgcolor = #00FF00
|
||||
manager.categories.enabled.bgcolor = #000000
|
||||
manager.categories.disabled.fgcolor = #444444
|
||||
manager.categories.disabled.bgcolor = #666666
|
||||
manager.categories.selected.fgcolor = #FF8000
|
||||
manager.categories.selected.bgcolor = #0080FF
|
||||
|
||||
|
||||
# error window (X) close button
|
||||
|
||||
Reference in New Issue
Block a user