Class ShortcutPreference

    • Method Detail

      • addGui

        public void addGui​(PreferenceTabbedPane gui)
        Description copied from interface: PreferenceSetting
        Add the GUI elements to the dialog. The elements should be initialized after the current preferences.
        Parameters:
        gui - the preferences tab pane
      • ok

        public boolean ok()
        Description copied from interface: PreferenceSetting
        Called when OK is pressed to save the setting in the preferences file. Return true when restart is required.
        Returns:
        true if restart is required
      • setDefaultFilter

        public void setDefaultFilter​(java.lang.String substring)
        Sets the default filter used to show only shortcuts with descriptions containing given substring.
        Parameters:
        substring - The substring used to filter
        See Also:
        PrefJPanel.filter(String)