Feature #2204
GUI highdpi: switch mainwindow to highdpi mode on Linux by default
Status: | Backlog | Start date: | 18 Oct 2018 | |
---|---|---|---|---|
Priority: | Normal | Due date: | ||
Assignee: | - | % Done: | 0% | |
Category: | - | |||
Target version: | - |
Status: | Backlog | Start date: | 18 Oct 2018 | |
---|---|---|---|---|
Priority: | Normal | Due date: | ||
Assignee: | - | % Done: | 0% | |
Category: | - | |||
Target version: | - |