Pixel Hunt Required to Resize Console Pane #9977
Labels
Component: IDE user interface
The Arduino IDE's user interface
feature request
A request to make an enhancement (not a bug fix)
IDE version: 1.8.12
OS: Ubuntu Studio 18.04 LTS
JRE: OpenJDK Runtime Environment 11.0.6+10-post-Ubuntu-1ubuntu118.04.1
DE: XFCE 4.12 (GNOME and QT/KDE libs installed)
As the title mentions, resizing the IDE console window requires a pixel hunt. It would appear that the resize area is a single pixel in height.
Here's a Google Drive link to a quick video screenshot of the issue.
As can be seen from the video, there's no real visible resize handle, and what intuitively should be the resize handle is ridiculously small.
Can this be readily fixed? I'm not a fan of Java, but if the code for this isn't buried to deep and I can get a direction on where to look for this in the source, I can give a shot at finding the issue.
The text was updated successfully, but these errors were encountered: