IdeaMainMenuToggler

IdeaMainMenuToggler copied to clipboard

Preference not persisted

2

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

rulatir

Allow hotkey usage / autohide

1

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

hackel

Unable to initialize plugin on 2017.1.4

2

Enable the plugin and restart PHPStorm. I get the following error:  PHPStorm version: 2017.1.4, Windows 10 64bit

rinux55

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

yegorius