RE: [ jEdit-users ] Recent File list

[John G. <jge...@ny...>]

That's a good alternative to having any built-in 'Recent Files' menu item.
If one accepts that users expect to have a 'Recent Files' facility built-in,
then it should work around a Swing bug.  Even when it works properly (as in
my installation), the menu takes up an awful lot of screen space.

John

-----Original Message-----
From: jed...@li...
[mailto:jed...@li...]On Behalf Of Dirk
Moebius
Sent: Friday, March 02, 2001 9:12 AM
To: jed...@li...
Subject: RE: [ jEdit-users ] Recent File list


> Perhaps this could be made an option, made available through a second
> check
> box in "GlobalOptions; Loading & Saving" ("Truncate names in 'Recent
> Files'
> list")

Why not just use BufferList? The names aren't truncated there, and you have
faster access to the list.

Dirk.

--
Sent through GMX FreeMail - http://www.gmx.net

--
-----------------------------------------------
jEdit Users' List
jEd...@li...
http://lists.sourceforge.net/lists/listinfo/jedit-users