IDEs Support (IntelliJ Platform) | JetBrains

Guido J

Total activity 8
Last activity December 04, 2024 21:27
Member since November 08, 2024 12:14
Following 0 users
Followed by 0 users
Votes 0
Subscriptions 1

Guido J commented, December 04, 2024 21:27
Hi Ekaterina, no problem at all and thank you for taking the time. Glad it's reproduced and I'll keep an eye on the issue. Best, Guido
- 0 votes
Guido J commented, November 28, 2024 09:51
These are my HiDPI info:Per-monitor DPI-aware : disabledMonitor resolution : 3840x2160Monitor scale : 2.5User (IDE) scale : 2.5Xft.DPI : 240GSettings scale factor : undefinedGDK_SCALE : undefinedGD...
- 0 votes
Guido J commented, November 27, 2024 08:41
Thank you for getting back. It's not a huge issue, but it is a small daily nuisance as I'm often working on an already small laptop screen. I've checked the config directory (mine is at /home/guido...
- 0 votes
Guido J commented, November 14, 2024 14:16
My bad - zipping on Ubuntu, by default, generates a zip format that can't be read by Windows… here it is:Upload id: 2024_11_14_28KWG6cAvkTyd4J3TkFqDb (file: IntelliJIdea2024.3-backup.zip)
- 0 votes
Guido J commented, November 13, 2024 15:48
Thank you, here is the diagnostic info:Upload id: 2024_11_13_1F37cMXq8Ey8iwzC59d3wN (files: 2024-11-13-16-26.zip, idea-logs-20241113-16283918302254855923259011.zip)After resetting to defaults, I tr...
- 0 votes
Guido J commented, November 13, 2024 10:05
Disabling plugins did not change anything - resetting IDE to default settings did. I'll describe it here.Settings A (original post's screenshot)It appears that the problem is caused by the left sid...
- 0 votes
Guido J created a post, November 08, 2024 12:14
Answered

Why is my main toolbar so big?

My question is simple: how do I make this toolbar smaller?IntelliJ IDEA 2024.2.4 (Ultimate Edition)Build #IU-242.23726.103, built on October 23, 2024Current Desktop: ubuntu:GNOME
1. Community
2. IntelliJ IDEA Users
- 3 followers
- 12 comments
- 0 votes