PetrK
- Total activity 5
- Last activity
- Member since
- Following 0 users
- Followed by 0 users
- Votes 0
- Subscriptions 2
-
PetrK commented, -
PetrK created a post, AnsweredShortcut for focusing different terminal window
Hi, in previous version of Intellij, I've had a shortcut for switching between build-in terminal tabs. However, this seems to have been removed in the version 2026.1.1 (or maybe on version before).... -
PetrK created a post, AnsweredChanging theme changes tab width and font size.
Hi, when I change Intellij theme, it changes the tab width as well. How do I keep the dark theme width? Is it a bug? Thanks!