jEdit Community home jEdit Community Wiki > Main > ImprovingJeditLauncher (r1.44 vs. r1.45) jEdit Community Wiki webs:
Main | Plugins | Know | TWiki | Sandbox
Main . { Whats New | Users | Groups | Changes | Index | Search | Go }
 <<O>>  Difference Topic ImprovingJeditLauncher (r1.45 - 19 Jul 2004 - Martin Fischbach)
Added:
>
>

Planned options for jedit launcher

Added:
>
>

Possible options for jedit

Changed:
<
<

>
>

-usage  
-version  
-log=$loglevel $loglevel is an integer, setting the level of logging details
-nosettings  
-settings=$settingsdir $settingsdir is the directory where settings are saved
-noserver  
-server  
-server=$serverfile $serverfile specifies port, accesskey and version
-background  
-nobackground  
-gui  
-nogui  
-newview  
-newplainview  
-reuseview  
-restore  
-norestore  
-plugins  
-noplugins  
-startupscripts  
-nostartupscripts  
-run=$scriptfile $scriptfile is the script to run
-wait  
-quit  

Topic ImprovingJeditLauncher . { View | Diffs | r1.46 | > | r1.45 | > | r1.44 | More }
Revision r1.44 - 10 Jul 2004 - 03:16 GMT - Brian Hks
Revision r1.45 - 19 Jul 2004 - 12:09 GMT - Martin Fischbach
Copyright © 1999-2011 by the contributing authors. All material on this collaboration platform is the property of the contributing authors.
Ideas, requests, problems regarding jEdit Community Wiki? Send feedback.
Get jEdit at !SourceForge.net. Fast, secure and Free Open Source software downloads