@jetbrains it seems like your search toolbar prefers to yield space to the buttons even if it means not showing the search phrase itself, when the window is small.pic.twitter.com/FxyzpvJFeV
You can add location information to your Tweets, such as your city or precise location, from the web and via third-party applications. You always have the option to delete your Tweet location history. Learn more
We have related issue on YouTrack: https://youtrack.jetbrains.com/issue/IDEA-205172 …. Please vote for it and follow for updates.