Menu
▾
▴
Re: [ jEdit-devel ] Max. recent files
|
From: Dirk M. <dmo...@gm...> - 2000-12-22 21:30:59
|
> Dirk Moebius wrote: > > Is this option gone in 3.0preX? It used to be under "General". > It's now the same as the 'history list size' setting. If you want > a separate setting, I can make one in 3.1. No, that's o.k, I guess. Dirk. -- Sent through GMX FreeMail - http://www.gmx.net |