Home
IDEs Support (IntelliJ Platform) | JetBrains
Submit a request
Community
Sign in

Rael Gugelmin Cunha
Follow New posts New posts and comments

Avatar
  • Total activity 8
  • Last activity April 28, 2020 16:21
  • Member since August 04, 2017 11:11
  • Following 0 users
  • Followed by 0 users
  • Votes 4
  • Subscriptions 1
Activity overview Posts (0) Comments (3)
Sort by recent activity Recent activity Votes
  • 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
Copyright © 2000– JetBrains s.r.o.