Module jEdit
Package org.gjt.sp.jedit

Class PluginJAR.PluginCacheEntry

java.lang.Object
org.gjt.sp.jedit.PluginJAR.PluginCacheEntry
Enclosing class:
PluginJAR
public static class PluginJAR.PluginCacheEntry extends Object
Used by the DockableWindowManager and ServiceManager to handle caching.
Since:
jEdit 4.2pre1

  • Field Details

    • MAGIC

      public static final int MAGIC
      See Also:

    • plugin

      public PluginJAR plugin

    • modTime

      public long modTime

    • classes

      public String[] classes

    • resources

      public String[] resources

    • actionsURI

      public URL actionsURI

    • cachedActionNames

      public String[] cachedActionNames

    • cachedActionToggleFlags

      public boolean[] cachedActionToggleFlags

    • browserActionsURI

      public URL browserActionsURI

    • cachedBrowserActionNames

      public String[] cachedBrowserActionNames

    • cachedBrowserActionToggleFlags

      public boolean[] cachedBrowserActionToggleFlags

    • dockablesURI

      public URL dockablesURI

    • cachedDockableNames

      public String[] cachedDockableNames

    • cachedDockableActionFlags

      public boolean[] cachedDockableActionFlags

    • cachedDockableMovableFlags

      public boolean[] cachedDockableMovableFlags

    • servicesURI

      public URL servicesURI

    • cachedProperties

      public Properties cachedProperties

    • localizationProperties

      public Map<String,Properties> localizationProperties

    • pluginClass

      public String pluginClass

  • Constructor Details

    • PluginCacheEntry

      public PluginCacheEntry()

  • Method Details