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

Created 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
Created 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
Created 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
Created 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
Edited 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
Edited November 13, 2024 11:16

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