Ubuntu
gnome-shell package

  1. Bug #1834583
  2. Comment #15

Comment 15 for bug 1834583

Revision history for this message
bart (bart-wp) wrote :

Hi I can confirm this for Jetbrain's phpstorm and for jedit.
It is a major issue if these happen to be important tools in the office.