Re: Any way to close files that no longer exist?
Marcelo Vanzin <[email protected]>
| Newsgroups | gmane.editors.jedit.user |
|---|---|
| Message-ID | <CAEErrz9tQ2euGjYPC6cipu8KD6tzjRiKQxzkKSJ=Smf2gdBB=g@mail.gmail.com> |
GitPlugin does what you want, but you have to switch branches using the plugins instead of the command line. On Thu, Jul 28, 2022 at 5:52 PM Andy Tai <[email protected]> wrote: > > 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 -- Marcelo Vanzin [email protected] "Life's too short to drink cheap beer." -- ----------------------------------------------- jEdit Users' List [email protected] https://lists.sourceforge.net/lists/listinfo/jedit-users