Menu ▾ ▴

#1933 GitPlugin. Checkbox for "automatically append branch name to project name" unchecks by itself

None
open
Dale Anson
None
5
2024-12-15
2024-12-13
Alan Ezust
No

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]

Discussion

  • Alan Ezust

    Alan Ezust - 2024-12-13
    • Description has changed:

    Diff:

    --- old
+++ new
@@ -1 +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 update.
+
+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.
+
+
    • Group: -->
     

  • Alan Ezust

    Alan Ezust - 2024-12-13
    • summary: GitPlugin. Checkbox for "automatically append branch name to project name" unchecks by itself --> GitPlugin. Checkbox for "automatically append branch name to project name" unchecks by itself when the branch is changed by external tool
     

  • Alan Ezust

    Alan Ezust - 2024-12-13
    • 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.
     

  • Dale Anson

    Dale Anson - 2024-12-13

    Would you provide a little more detail on how to reproduce this? It always seems to be checked properly to me.

     

  • Alan Ezust

    Alan Ezust - 2024-12-15
    • 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]
     

Log in to post a comment.

MongoDB Logo MongoDB