Class EditorPreferences

java.lang.Object
com.e1c.langtool.ui.editor.EditorPreferences

public class EditorPreferences extends Object
  • Field Details

  • Constructor Details

    • EditorPreferences

      public EditorPreferences()
  • Method Details

    • getMinHeight

      public static int getMinHeight()
    • getKeyTreeExpanded

      public static boolean getKeyTreeExpanded()
      Gets whether key tree should be show expaned by default.
      Returns:
      true if expanded
    • getKeyTreeHierarchical

      public static boolean getKeyTreeHierarchical()
      Gets whether key tree should be displayed in hiearchical way by default.
      Returns:
      true if hierarchical