Learn how easy it is to sync an existing GitHub or Google Code repo to a SourceForge project! See Demo

Close

#370 ProjectOptions 0.1.0

closed
Jeffrey Hoyt
None
5
2007-03-25
2007-03-21
Marcelo Vanzin
No

{{{ ProjectOptions 0.1.0
Source: Source code is in SVN with the tag v_0_1_0
Announcement: Initial Plugin Central release. Mainly targeted at gathering feedback and bug reports from interested users.
Requires Java 1.5
Requires jEdit 04.03.09.00
Required plugins:
projectviewer.ProjectPlugin 2.1.3.5
CommonControlsPlugin 0.9.4

Short Description: The Project Options plugin provides an interface for defining standard jEdit options on a per-project basis, allowing, for example, regular edit options to change for different projects.

Long Description: The Project Options plugin provides an interface for defining global
jEdit (and plugin) options on a per-project basis.

Currently, there is support for the following options:

* Common editing options such as tab size, indent width, etc.
* A few WhiteSpacePlugin options related to "on save" actions.

}}}

Discussion

  • Jeffrey Hoyt
    Jeffrey Hoyt
    2007-03-25

    • assigned_to: nobody --> jchoyt
     
  • Jeffrey Hoyt
    Jeffrey Hoyt
    2007-03-25

    Logged In: YES
    user_id=396194
    Originator: NO

    The plugin builds fine, however I can't get it to do anything. The help shows up, but the PluginOptions does not list it, nor does it appear in the plugin menu bar item. I keep getting this, which may be related:

    [debug] EditBus: DynamicMenuChanged[menu=recent-files,source=null]
    [debug] WorkThread: Running in work thread: [id=5,run=org.gjt.sp.jedit.help.HelpTOCPanel$1@1f8f8c8]
    [error] HelpTOCPanel: java.io.FileNotFoundException: /home/jchoyt/nobackup/jedit-plugins/jedit/4.3pre9/doc/api/toc.xml (No such file or directory)
    [error] HelpTOCPanel: at java.io.FileInputStream.open(Native Method)
    [error] HelpTOCPanel: at java.io.FileInputStream.<init>(FileInputStream.java:106)
    [error] HelpTOCPanel: at java.io.FileInputStream.<init>(FileInputStream.java:66)
    [error] HelpTOCPanel: at sun.net.www.protocol.file.FileURLConnection.connect(FileURLConnection.java:70)
    [error] HelpTOCPanel: at sun.net.www.protocol.file.FileURLConnection.getInputStream(FileURLConnection.java:161)
    [error] HelpTOCPanel: at java.net.URL.openStream(URL.java:1007)
    [error] HelpTOCPanel: at org.gjt.sp.jedit.help.HelpTOCPanel.loadTOC(HelpTOCPanel.java:206)
    [error] HelpTOCPanel: at org.gjt.sp.jedit.help.HelpTOCPanel.createTOC(HelpTOCPanel.java:163)
    [error] HelpTOCPanel: at org.gjt.sp.jedit.help.HelpTOCPanel.access$000(HelpTOCPanel.java:46)
    [error] HelpTOCPanel: at org.gjt.sp.jedit.help.HelpTOCPanel$1.run(HelpTOCPanel.java:101)
    [error] HelpTOCPanel: at org.gjt.sp.util.WorkThread.doRequest(WorkThread.java:203)
    [error] HelpTOCPanel: at org.gjt.sp.util.WorkThread.doRequests(WorkThread.java:170)
    [error] HelpTOCPanel: at org.gjt.sp.util.WorkThread.run(WorkThread.java:144)

    Any idea what's going on?

    Thanks,

    Jeff

     
  • Marcelo Vanzin
    Marcelo Vanzin
    2007-03-25

    Logged In: YES
    user_id=75113
    Originator: YES

    Hi Jeff,

    That exception seems unrelated (I remember getting it by running jEdit without the docs built).

    You won't see anything related to this plugin in the usual places. To see its options, you have to open the option pane of a project managed by ProjectViewer, and that's where you set the options for this plugin.

     
  • Jeffrey Hoyt
    Jeffrey Hoyt
    2007-03-25

    Logged In: YES
    user_id=396194
    Originator: NO

    Released to Plugin Central.

     
  • Jeffrey Hoyt
    Jeffrey Hoyt
    2007-03-25

    • status: open --> closed