Any way to close files that no longer exist?

Andy Tai <[email protected]> Thu, 28 Jul 2022 17:50:40 -0700

Newsgroups	gmane.editors.jedit.user
Message-ID	<CAJsg1E-oUzY=ny7SPdWrLa-WAznfvL-b0a9E==sdYdgsC1sHbg@mail.gmail.com>

Hi, I often open files in a directory which is a git repo.  When I
switch git branches, some files may no longer exist as files in the
file system; jedit would show such files as out of date (marked red).
 Is there a jedit command or plugin that allows me to close such
files?

Thanks


-- 
-----------------------------------------------
jEdit Users' List
[email protected]
https://lists.sourceforge.net/lists/listinfo/jedit-users