Method applyUserPreferences

src/main/java/gate/Main.java:259–327

Reads the user config data and applies the required settings. This must be called after Gate#init() but before any GUI components are created.

()

   * any GUI components are created.
   */
  public static void applyUserPreferences(){
    //look and feel
    String lnfClassName;
    if(System.getProperty("swing.defaultlaf") != null) {
      lnfClassName = System.getProperty("swing.defaultlaf");
    } else {
      lnfClassName = Gate.getUserConfig().
                            getString(GateConstants.LOOK_AND_FEEL);
    }
    if(lnfClassName == null){
      //if running on Linux, default to Metal rather than GTK because GTK LnF
      //doesn't play nicely with most Gnome themes
      if(System.getProperty("os.name").toLowerCase().indexOf("linux") != -1){
        //running on Linux
        lnfClassName = UIManager.getCrossPlatformLookAndFeelClassName();
      }else{
        lnfClassName = UIManager.getSystemLookAndFeelClassName();
      }      
    }
    try {
      UIManager.setLookAndFeel(lnfClassName);
    } catch(Exception e) {
      System.err.print("Could not set your preferred Look and Feel. The error was:\n" +
              e.toString() + "\nReverting to using Java Look and Feel");
      try {
        UIManager.setLookAndFeel(UIManager.getCrossPlatformLookAndFeelClassName());
      }catch(Exception e1) {
        //we just can't catch a break here. Let's forget about look and feel.
        System.err.print(
                "Could not set the cross-platform Look and Feel either. The error was:\n" +
                e1.toString() + "\nGiving up on Look and Feel.");
      }
    }
    Gate.getUserConfig().put(GateConstants.LOOK_AND_FEEL, lnfClassName);
    
    //read the user config data
    OptionsMap userConfig = Gate.getUserConfig();

    //text font
    Font font = userConfig.getFont(GateConstants.TEXT_COMPONENTS_FONT);
    if(font == null){
      font = UIManager.getFont("TextPane.font");
    }

    if(font != null){
      OptionsDialog.setTextComponentsFont(font);
    }

    //menus font
    font = userConfig.getFont(GateConstants.MENUS_FONT);
    if(font == null){
      font = UIManager.getFont("Menu.font");
    }

    if(font != null){
      OptionsDialog.setMenuComponentsFont(font);
    }