Rael Gugelmin Cunha

Follow New posts New posts and comments

Created April 28, 2020 16:21

Thank you for sharing the ticket URL, Eugene! :)

1. Community
2. PhpStorm
3. Option to not merge main menu and window title

• 0 votes

Created April 28, 2020 15:26

Yeap. In fact what I want is a way to hide this huge titlebar. I know there are extensions for this, but they're really terrible on a multi display setup. Firefox has an option to hide the titlebar...

1. Community
2. PhpStorm
3. Option to not merge main menu and window title

• 0 votes

Created April 28, 2020 01:49

Is there any similar for Ubuntu 20.04 (default with Gnome)? -Dide.win.frame.decoration=false

1. Community
2. PhpStorm
3. Option to not merge main menu and window title

• -1 votes