arduino / arduino/Arduino

Arduino 1.8.9 high dpi issue on Linux

Open
#9,170 6 comments 0 reactions 0 assignees View on GitHub
Component: IDE user interface Type: Bug
Dominant language
Java
Stars
14.6k
Forks
7k
PR merge metrics
No merged PRs in 30d

Description

Updated to 1.8.9 and menu's are not scaled with the Interface scaling setting.
The text in the editor is scaling, but not the menus.
Setting the GDL_SCALE environment variable doesn't work either.

Here's a screenshot comparing the menus from kwrite with arduino editor.
![image](https://user-images.githubusercontent.com/8325689/63615295-a2ec0600-c5aa-11e9-9988-b328bb1ff246.png)

Contributor guide

Open the contributing guide

Research direction

No source files, tests, or entry points are named in the issue. First reproduce the behavior on Linux in Arduino IDE 1.8.9 with Interface scaling and GDL_SCALE, then compare editor text and menu scaling; done means the menus scale consistently with the editor.

Written by the indexing model from the issue text.

Assessment

Tech stack
java, linux
Domain
desktop
Issue type
Bug
Difficulty
3/5
Estimated time
1-2 days
Activity status
Stale
Clarity
Mostly clear
Newbie friendliness
35/100

Get new issues in your inbox

A short digest of beginner-friendly GitHub issues.