Cinnamon- und Linux-Mint-Entwickler Michael Webster kündigt erste funktionierende Komponenten eines High-DPI-Supports für den Desktop an und ruft zu Tests auf.
Die nächste Release von Cinnamon werde Retina- oder High-DPI-Displays unterstützen, erklärt Webster im Linux-Mint-Blog. Die dafür notwendigen Änderungen seien nahezu komplett, befinden sich im “hidpi”-Branch seines Github-Repositories und betreffen die Komponenten “cinnamon”, “muffin”, “cinnamon-settings-daemon”, “cinnamon-desktop” sowie den Dateimanager “nemo”.
Webster ruft die Community nun dazu auf, den Support zu testen, was neben einem High-DPI-Display den Einsatz von Gtk 3.10 erfordern würde. Mint- und Ubuntu-Nutzer müssten derzeit eine Vorabversion von Ubuntu 14.04 verwenden, Fedora- und Arch-Anwender können den Branch direkt testen. Damit das High-DPI-Feature voll funktioniert, muss auch ein neuerer Cairo-Snapshot installiert sein.
Experimentierfreudige Nutzer finden zahlreiche weitere Details in dem Blogeintrag. Nach eigener Aussage basiert Websters Arbeit zum Großteil auf der Vorarbeit der Gnome-Shell-Entwickler, Mint 16 werde aber voraussichtlich keinen High-DPI-Support erhalten.
