[ jEdit-devel ] [ jedit-Bugs-554138 ] Command-line line number option

[<no...@so...>]

Bugs item #554138, was opened at 2002-05-09 10:05
You can respond by visiting: 
https://sourceforge.net/tracker/?func=detail&atid=100588&aid=554138&group_id=588

Category: editor core
Group: None
>Status: Closed
>Resolution: Invalid
Priority: 5
Submitted By: Nobody/Anonymous (nobody)
Assigned to: Nobody/Anonymous (nobody)
Summary: Command-line line number option

Initial Comment:
According to the manual when invoking the editor as:
jedit MyApplet.java +line:10
The editor should open the file and set the cursor at 
line 10.
I am using Windows 2000 and not able to make this work.

----------------------------------------------------------------------

>Comment By: ollie rutherfurd (fruhstuck)
Date: 2002-10-23 17:48

Message:
Logged In: YES 
user_id=62742

jEdit.exe does not support all of jEdit's command line args.

See the  'Starting jEdit' in 'jEditLauncher for Windows' for a 
list of the options supported by jEdit.exe.

If you want to be able to do this, you could write a batch file 
to start jEdit and pass args given to the batch file to jEdit.

something like:

java -jar jedit.jar  %1 %2 %3 %4 %5 %6 %7 %8 %9


----------------------------------------------------------------------

You can respond by visiting: 
https://sourceforge.net/tracker/?func=detail&atid=100588&aid=554138&group_id=588