The command line option "+line" does only work if jEdit is already running when the
command is invoked (connect to a jedit server). Otherwise the option is ignored. This
issue seems to be introduced in jEdit 4.3pre16.
jEdit 4.3.1
SUN JRE 1.6.0_18
WIndows Xp SP3
Submitted | rschwenn - 2010-03-28 16:36:50 | Assigned | kpouer |
---|---|---|---|
Priority | 5 | Labels | Windows Specific |
Status | open | Group | None |
Resolution | None |
2010-04-22 18:34:58 *anonymous |
Works fine with 4.4 - development version. Can you check if it was fixed in later, official versions of 4.3? |
---|---|
2010-04-22 19:59:43 rschwenn |
I just tried the latest daily build (2010-04-21) with an empty settings directory
- and the bug still occurs as described above. The same with jEdit 4.3.1 under Kubuntu
9.10
|
2010-04-22 20:22:41 *anonymous |
Yes, I am sure. But you specified a new detail - it doesn't work with "-nosettings". |
2010-04-23 21:01:49 rschwenn |
Hmm. I can try what I want, it doesn't work for me unless jEdit is already running.
|
2011-12-04 22:22:54 rschwenn |
I can still reproduce with jEdit 4.4.2 and 4.5pre1 daily.
|
2012-12-27 17:11:58 rschwenn |
Just checked. Still true for:
|
2013-10-07 21:58:47 ezust |
- **labels**: 102668 --> Windows Specific |