[jedit:plugin-bugs] #1933 GitPlugin. Checkbox for "automatically append branch name to project name" unchecks by itself when the branch is changed by external tool
Alan Ezust via jEdit-devel <[email protected]> Fri, 13 Dec 2024 15:35:19 -0000
| Newsgroups | gmane.editors.jedit.devel |
|---|---|
| Message-ID | </p/jedit/plugin-bugs/1933/95077ddca8726d1d156efd73b15ca6bd489ef671.plugin-bugs@jedit.p.sourceforge.net> |
- Description has changed: Diff: ~~~~ --- old +++ new @@ -1,4 +1,4 @@ -Every time I go into the Git Project Options, the checkbox is unchecked and I gotta check it again to get the branch name to update. +Every time I go into the Git Project Options, the checkbox is unchecked and I gotta check it again to get the branch name to be updated in the project name. Basically, you gotta create a git project in projectviewer. Then from outside of jEdit (I use the command line git tool), checkout a different branch in that git project. How does jEdit ever figure out it needs to update the project name? I gotta go into the git project options and re-check that checkbox again. ~~~~ --- **[plugin-bugs:#1933] GitPlugin. Checkbox for "automatically append branch name to project name" unchecks by itself when the branch is changed by external tool** **Status:** open **Group:** **Created:** Fri Dec 13, 2024 01:02 PM UTC by Alan Ezust **Last Updated:** Fri Dec 13, 2024 03:34 PM UTC **Owner:** Dale Anson Every time I go into the Git Project Options, the checkbox is unchecked and I gotta check it again to get the branch name to be updated in the project name. Basically, you gotta create a git project in projectviewer. Then from outside of jEdit (I use the command line git tool), checkout a different branch in that git project. How does jEdit ever figure out it needs to update the project name? I gotta go into the git project options and re-check that checkbox again. --- Sent from sourceforge.net because [email protected] is subscribed to https://sourceforge.net/p/jedit/plugin-bugs/ To unsubscribe from further messages, a project admin can change settings at https://sourceforge.net/p/jedit/admin/plugin-bugs/options. Or, if this is a mailing list, you can unsubscribe from the mailing list. -- ----------------------------------------------- jEdit Developers' List [email protected] https://lists.sourceforge.net/lists/listinfo/jedit-devel