IdeaMainMenuToggler icon indicating copy to clipboard operation
IdeaMainMenuToggler copied to clipboard

Published 20 hours ago • verified publisher icon bashor

Preference not persisted

Open rulatir opened this issue 6 years ago • 2 comments

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

rulatir avatar Mar 29 '19 10:03 rulatir

Hi! Thank you for the report!

Unfortunately, I don't use a Linux based OS now and don't use the plugin. So, it's hard to support it.

PRs welcome!

bashor avatar Mar 29 '19 19:03 bashor

BTW, since 2018.3 IntelliJ IDEA (PHPStorm based on it) has native support of Global menu bar on Linux, so maybe you can switch to it.

You can find more information here: https://blog.jetbrains.com/idea/2018/11/intellij-idea-2018-3-github-pull-requests-java-12-multiline-todo-comments-git-submodule-support-and-more/ https://blog.jetbrains.com/idea/2018/11/intellij-idea-2018-3-beta-2-is-available/ https://www.jetbrains.com/help/idea/menus-and-toolbars.html#linux-native-menu

bashor avatar Mar 29 '19 19:03 bashor