Menu
▾
▴
jedit-devel
|
From: Alan E. <ez...@us...> - 2024-12-13 13:02:54
|
--- **[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 01:02 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 update. --- Sent from sourceforge.net because jed...@li... 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. |
|
From: Alan E. <ez...@us...> - 2024-12-13 13:20:55
|
- 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**: --> --- **[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 01:02 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 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. --- Sent from sourceforge.net because jed...@li... 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. |
|
From: Alan E. <ez...@us...> - 2024-12-13 15:34:49
|
- **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 --- **[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 01:20 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 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. --- Sent from sourceforge.net because jed...@li... 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. |
|
From: Alan E. <ez...@us...> - 2024-12-13 15:35:27
|
- 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 jed...@li... 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. |
|
From: Dale A. <dal...@us...> - 2024-12-13 18:49:21
|
Would you provide a little more detail on how to reproduce this? It always seems to be checked properly to me. --- **[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:35 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 jed...@li... 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. |
|
From: Alan E. <ez...@us...> - 2024-12-15 14:08:40
|
- **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 jed...@li... 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. |
Thanks for helping keep SourceForge clean.
X