#886 ProjectViewer 3.5.1

closed
Townsfolk
None
5
2013-03-11
2013-03-05
Alan Ezust
No

{{{ ProjectViewer 3.5.1
Source: Source code is in SVN with the tag pv_3_5_1
Announcement: Bugfix release.
- Fixed 3603729: Compact Tree broken
- Fixed 3604239: Add files broken
Requires Java 1.6
Requires jEdit 05.00.99.00
Required plugins:
Common Controls 1.5 (CommonControlsPlugin)
Optional plugins:
ErrorList 2.1 (errorlist.ErrorListPlugin)
Info Viewer 1.6 (infoviewer.InfoViewerPlugin)

Short Description: The ProjectViewer plugin provides an interface for managing a "project", i.e. a related group of source files.

Long Description: The ProjectViewer plugin provides an interface for managing a
project - a related group of source files.

The plugin provides a GUI for managing the projects and their contents,
and provides a powerful extension mechanism for other plugins that
want to add project-specific functionality.

}}}

Discussion

  • Townsfolk
    Townsfolk
    2013-03-09

    • assigned_to: nobody --> elberry
    • status: open --> pending
     
  • Townsfolk
    Townsfolk
    2013-03-09

    Alan, Getting ScriptException when trying to do build - with latest build-support.

    jedit/build-support/plugin-build.xml:61: javax.script.ScriptException: sun.org.mozilla.javascript.internal.WrappedException: Wrapped java.lang.StringIndexOutOfBoundsException: String index out of range: -1 (<Unknown source>#33) in <Unknown source> at line number 33

    Not sure if I'm tracing it correctly, but I'm guessing it's coming from line 93 of the plugin-build.xml:
    pluginclass = v.getKey().substring(7,v.getKey().lastIndexOf(".name"));

     
  • Townsfolk
    Townsfolk
    2013-03-11

    Released to Plugin Central.

     
  • Townsfolk
    Townsfolk
    2013-03-11

    • status: pending --> closed