public SpacingSpinner() {
Manager manager = Manager.getInstance();
manager.registerSpacingSpinner(this);
init();
}
public CharOffsetYTextField() {
Manager manager = Manager.getInstance();
manager.registerCharOffsetYTextField(this);
init();
}
public RedoMenuItem() {
Manager manager = Manager.getInstance();
manager.registerRedoMenuItem(this);
LocaleManager localeManager = LocaleManager.getInstance();
localeManager.addLocaleChangeListener(this);
init();
}
public SpacingLabel() {
Manager manager = Manager.getInstance();
manager.registerSpacingLabel(this);
LocaleManager localeManager = LocaleManager.getInstance();
localeManager.addLocaleChangeListener(this);
init();
}
public PluginsOKButton() {
Manager manager = Manager.getInstance();
manager.registerPluginsOKButton(this);
LocaleManager localeManager = LocaleManager.getInstance();
localeManager.addLocaleChangeListener(this);
init();
}
public static void main(String[] args) {
Manager.getInstance();
SwingUtilities.invokeLater(
new Runnable() {
public void run() {
new EditorFrame();
}
});
}
public void actionPerformed(ActionEvent e) {
Manager manager = Manager.getInstance();
manager.executeRedo();
}
public void actionPerformed(ActionEvent e) {
Manager manager = Manager.getInstance();
manager.executeLanguageSelect(locale);
}
public void stateChanged(ChangeEvent e) {
Manager manager = Manager.getInstance();
manager.executeSpacing();
}