refreshFromTheme(colorNames.getSelected());
}
},
+ new TAction() {
+ // When the user navigates with keyboard
+ public void DO() {
+ refreshFromTheme(colorNames.getSelected());
+ }
+ },
new TAction() {
// When the user navigates with keyboard
public void DO() {