Package org.jedit.keymap

Interface KeymapManager

  • All Known Implementing Classes:
    KeymapManagerImpl
    public interface KeymapManager
    Since:
    jEdit 5.0

    • Field Detail

    • Method Detail

      • getKeymap

        Keymap getKeymap()
        Returns the current keymap.
        Returns:
        the current keymap

      • reload

        void reload()

      • getKeymapNames

        java.util.Collection<java.lang.String> getKeymapNames()

      • getKeymap

        Keymap getKeymap​(java.lang.String name)
        Returns the keymap with that name.
        Parameters:
        name - the keymap name
        Returns:
        the user keymap of that name, if it exists, or the system keymap if it doesn't. If none exists null is returned

      • getKeymapState

        KeymapManager.State getKeymapState​(java.lang.String name)
        Returns the state of the keymap
        Parameters:
        name - the name of the keymap
        Returns:
        a state.

      • resetKeymap

        void resetKeymap​(java.lang.String name)
        Reset the keymap to it's original state if it was a modified system keymap
        Parameters:
        name - the keymap name

      • deleteUserKeymap

        void deleteUserKeymap​(java.lang.String name)
        Delete a user keymap.
        Parameters:
        name - the keymap name

      • copyKeymap

        boolean copyKeymap​(java.lang.String name,
                   java.lang.String newName)
        Copy the keymap to another one
        Parameters:
        name - the original keymap
        newName - the new keymap