Module jEdit

Class PluginManager

All Implemented Interfaces:
ImageObserver, MenuContainer, Serializable, Accessible, RootPaneContainer, WindowConstants

public class PluginManager extends JFrame
Version:
$Id: PluginManager.java 25263 2020-04-18 10:21:06Z kpouer $
See Also:
  • Field Details

  • Method Details

    • getInstance

      public static PluginManager getInstance()
      Returns the currently visible plugin manager window, or null.
      Since:
      jEdit 4.2pre2
    • dispose

      public void dispose()
      Overrides:
      dispose in class Window
    • handlePropertiesChanged

      public void handlePropertiesChanged(PropertiesChanged message)
    • handlePluginUpdate

      public void handlePluginUpdate(PluginUpdate msg)
    • showPluginManager

      public static void showPluginManager(Frame parent)
    • showPluginManager

      public static void showPluginManager(View parent)
    • ok

      public void ok()
    • cancel

      public void cancel()
    • checkForObsoletePlugins

      public void checkForObsoletePlugins()
      Checks for obsolete plugins, and marks them as unsupported.

      An obsolete plugin branch can be marked as inactive, or an individual release can have a max jEdit version that is lower than the running version. If no later version/branch exists that supports this jEdit version, the plugin is unsupported.

      Since:
      jEdit 5.1pre1
    • processKeyEvents

      public void processKeyEvents(KeyEvent ke)