[ jEdit-devel ] Max. recent files

[Dirk M. <dmo...@gm...>]

Is this option gone in 3.0preX? It used to be under "General".

Dirk.