bashor / ideamainmenutoggler Goto Github PK

Hello,
thank you for this useful plugin.
I have been using this plugin since its initial version, but approx. 6 month ago it started to hinder the functionality of the aforementioned button.

This may be beyond the scope of this extension, if it is even possible at all, but I would find it very useful if I could still use menu hotkeys (alt-F, etc.) to bring up menus, even while the menu is "hidden". I don't know if this could be done by just setting the height to 0 or something instead of hiding the menu entirely. This is how Firefox works, and I find it very useful. Just a suggestion.

The plugin not work in PhpStorm 8.

Steps to reproduce:

1. Launch PHPStorm with plugin enabled
2. Toggle main menu visibility, i.e. change the setting's value from the one with which the IDE started to the opposite.
3. Close and restart the IDE.

Expected:

The change made in step 2. above should still be in effect.

Actual:

The change is not in effect - doesn't get persisted.

PHPStorm 2019.1

My main menu's gone and I don't know how to toggle it now, Which keyboard shortcut shows(toggles) the Main Menu?

Enable the plugin and restart PHPStorm. I get the following error:

PHPStorm version: 2017.1.4,
Windows 10 64bit

Hi,

Can you fix it?

Thanks