Hide open files from recent files list

jEdit is a programmer's text editor written in Java.

Brought to you by: daleanson, ezust, grepppo, k_satoda, and 5 others

#481 Hide open files from recent files list

Milestone: v5.2

Status: closed-fixed

Owner: Dale Anson

Labels: GUI Menus (1)

Priority: 5

Updated: 2015-08-09

Created: 2014-03-24

Creator: Alan Ezust

Private: No

Hide buffers that are already open (in the current View.buffers() list)
from the recent files list.

Discussion

Alan Ezust - 2014-03-24

Description has changed:

Diff:

--- old +++ new @@ -1,2 +1,2 @@ -Hide show buffers that are already open (in the current View.buffers() list) +Hide buffers that are already open (in the current View.buffers() list) from the recent files list.
If you would like to refer to this comment somewhere else in this project, copy and paste the following link:

Dale Anson - 2015-08-09

status: open --> closed-fixed

assigned_to: Dale Anson
If you would like to refer to this comment somewhere else in this project, copy and paste the following link:

Dale Anson - 2015-08-09

Fixed in revision 23978. I added a checkbox in Global Options/General that is on by default to control this feature.

If you would like to refer to this comment somewhere else in this project, copy and paste the following link:

Log in to post a comment.