[prev in list] [next in list] [prev in thread] [next in thread] 

List:       jedit-users
Subject:    Re: [ jEdit-users ] Minor annoyance
From:       Dimitri Maziuk <dmaziuk () bmrb ! wisc ! edu>
Date:       2007-10-02 1:33:58
Message-ID: 200710012033.59134.dmaziuk () bmrb ! wisc ! edu
[Download RAW message or body]

On Monday 01 October 2007 18:37:55 Randall R Schulz wrote:
...
> Check out the Global Options in the General section. They include:
>
> - [ ] Restore previously open files on startup
> - [ ] ... even if file names were specified on startup
>
> This seems to be exactly the suggestion you're making.

The suggestion I'm making is 
 - restore previously open files
   - unless file names were specified on startup

which seems to be the same thing except that "even if" option doesn't seem to 
do anything. I just  tried unchecking it, now JEdit does not restore 
previously open files full stop.

Dima
-- 
Dimitri Maziuk
Programmer/sysadmin
BioMagResBank, UW-Madison -- http://www.bmrb.wisc.edu

-------------------------------------------------------------------------
This SF.net email is sponsored by: Microsoft
Defy all challenges. Microsoft(R) Visual Studio 2005.
http://clk.atdmt.com/MRT/go/vse0120000070mrt/direct/01/
-- 
-----------------------------------------------
jEdit Users' List
jEdit-users@lists.sourceforge.net
https://lists.sourceforge.net/lists/listinfo/jedit-users
[prev in list] [next in list] [prev in thread] [next in thread]