|
From: Randall R S. <rs...@so...> - 2004-11-23 17:07:08
|
Gabriel, On Tuesday 23 November 2004 05:55, Gabriel Cosentino de Barros wrote: > if you're considering quitting the application with the "Restore > previously open files on startup" option disabled the same as closing > the files manualy, then i do not object :) That's fine with me. In fact, I considered including that suggestion in the original posting, but decided to keep the request minimal. For what it's worth, I don't think I've ever worked with "Restore previously open files on startup" not enabled. Randall Schulz > -----Original Message----- > From: Slava Pestov [mailto:sl...@je...] > Sent: segunda-feira, 22 de novembro de 2004 21:44 > To: jed...@li... > Subject: Re: [ jEdit-users ] Improving The "Recent Files" Menu > > > If nobody objects to this change, I will make it in 4.3pre1. > > Randall R Schulz wrote: > > Hello, > > > > [ Apologies to readers of the jEdit developers' list. > > I should have sent this to the users' list originally. ] > > > > > > I'm am frequently frustrated by the impaired utility of the "File" > > -> "Recent Files" sub-menu. ... > > > > I would like to suggest that only files closed manually by the user > > be added to the Recent Files list. > > > > Thanks. > > > > Randall Schulz |