Module jEdit

Class GutterOptionPane

All Implemented Interfaces:
ImageObserver, MenuContainer, Serializable, Accessible, OptionPane

public class GutterOptionPane extends AbstractOptionPane
See Also:
  • Constructor Details

    • GutterOptionPane

      public GutterOptionPane()
  • Method Details

    • _init

      public void _init()
      Description copied from class: AbstractOptionPane
      This method should create and arrange the components of the option pane and initialize the option data displayed to the user. This method is called when the option pane is first displayed, and is not called again for the lifetime of the object.
      Overrides:
      _init in class AbstractOptionPane
    • _save

      public void _save()
      Description copied from class: AbstractOptionPane
      Called when the options dialog's "ok" button is clicked. This should save any properties being edited in this option pane.
      Overrides:
      _save in class AbstractOptionPane
    • isGutterEnabled

      public static boolean isGutterEnabled()
    • getMinLineNumberDigits

      public static int getMinLineNumberDigits()
    • isSelectionAreaEnabled

      public static boolean isSelectionAreaEnabled()
    • getSelectionAreaBackground

      public static Color getSelectionAreaBackground()
    • getSelectionAreaWidth

      public static int getSelectionAreaWidth()