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();
  }