[ jEdit-devel ] Improving The "Recent Files" Menu

[Randall R S. <rs...@so...>]

Hello,

I'm am frequently frustrated by the impaired utility of the "File" -> 
"Recent Files" sub-menu. I say "impaired utility" because the implicit 
close of all open files that takes place when jEdit is shut down causes 
all the files open at the time of shut-down to be added to the Recent 
Files menu, effectively displacing many (often all) of the recently 
closed files. Given that all those open files are going to be re-opened 
when the application is next launched (for those of us who keep the 
"Restore previously open files on startup" option enabled), this action 
effectively makes the Recent Files list almost useless.

I would like to suggest that only files closed manually by the user be 
added to the Recent Files list.

Thanks.

Randall Schulz