[jedit:plugin-bugs] #1933 GitPlugin. Checkbox for "automatically append branch name to project name" unchecks by itself

- **summary**: GitPlugin. Checkbox for "automatically append branch name to project name" unchecks by itself when the branch is changed by external tool --> GitPlugin. Checkbox for "automatically append branch name to project name" unchecks by itself 
- Description has changed:

Diff:

~~~~

--- old
+++ new
@@ -1,5 +1,5 @@
-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. 
+Often, 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.
 
-
+[note: I still need to include detailed steps to reproduce. I am not sure how to do it yet]

~~~~




---

**[plugin-bugs:#1933] GitPlugin. Checkbox for "automatically append branch name to project name" unchecks by itself **

**Status:** open
**Group:** 
**Created:** Fri Dec 13, 2024 01:02 PM UTC by Alan Ezust
**Last Updated:** Fri Dec 13, 2024 06:49 PM UTC
**Owner:** Dale Anson


Often, 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.

[note: I still need to include detailed steps to reproduce. I am not sure how to do it yet]



---

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