-
Notifications
You must be signed in to change notification settings - Fork 12
New issue
Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.
By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.
Already on GitHub? Sign in to your account
Open path in terminal menu entry visible despite preference set to false #275
Comments
Seems like the property tester that controls the menu entry visibility is not loaded when showing the menu. Its loaded when going in the preference page for Bash Editor, or when clicking the menu entry. |
TestingWithout restartI tested with
Now with restarting eclipse:Preference dialog calls
Bash editor startup
ConclusionLooking into Lines 235 to 237 in 0e28287
It seems the implementation is correct and that this is more an eclipse problem: As long as there is no plugin interaction (editor, preference pages, etc.) the bash editor preferences seems to be not loaded by eclipse. Maybe this is related to eclipse-platform/eclipse.platform#523 |
This change ensures Eclipse correctly uses the property testers 'isBashFileWithoutExtension' and 'isOpenPathActionEnabled', by setting the 'forcePluginActivation' property in the respective plugin.xml entries. This allows Eclipse to load the property tester class prior to trying to use it - in case the bash editor plug-in was not activated yet. Fixes: de-jcup#275 Signed-off-by: Simeon Andreev <simeon.danailov.andreev@gmail.com>
Hi @de-jcup , I've debugged a bit, it looks like Eclipse needs the The stack trace of interest is e.g.:
And in particular See also Eclipse documentation, e.g.: https://help.eclipse.org/latest/index.jsp?topic=%2Forg.eclipse.platform.doc.isv%2Freference%2Fextension-points%2Forg_eclipse_ui_menus.html Alternatively we can change your plug-in to use the early/eager start-up, i.e. get activated when Eclipse is started. Though I'm not sure this is better. Best regards, |
Thanks for merging! |
@trancexpress : I just released Version 2.9.1 to eclipse marketplace. It contains your changes |
Great, thank you @de-jcup ! |
To reproduce:
See screen recording:
bash_editor_open_in_terminal.mp4
Additionally it doesn't seem to be possible to set the default for the preference via a
-pluginCustomization
file (https://eclipse.dev/eclipse/platform-core/documents/user_settings/plugin_customization.html)The text was updated successfully, but these errors were encountered: