Package: arduino Version: 2:1.0.5+dfsg2-4.1 Severity: normal stretch delivers arduino 1.0.5, which is pretty old. This means that some of the new features are not available. Specifically, it doesn't work well with HiDPI displays (aka retina displays). In the latest version (1.8.1) there is a global preference setting that allows to scale the interface to e.g. 200%, which is a nice setting for my MacBookPro 13". Would it be possible to include in stretch a more up to date version, including this feature? -- System Information: Debian Release: stretch/sid APT prefers testing APT policy: (500, 'testing') Architecture: amd64 (x86_64)
Kernel: Linux 4.8.0-2-amd64 (SMP w/4 CPU cores) Locale: LANG=en_US.UTF-8, LC_CTYPE=en_US.UTF-8 (charmap=UTF-8) Shell: /bin/sh linked to /usr/bin/dash Init: systemd (via /run/systemd/system) Versions of packages arduino depends on: ii arduino-core 2:1.0.5+dfsg2-4.1 ii default-jre [java6-runtime] 2:1.8-57 ii libjna-java 4.2.2-2 ii librxtx-java 2.2pre2-13 ii openjdk-8-jre [java6-runtime] 8u111-b14-3 Versions of packages arduino recommends: ii extra-xdg-menus 1.0-4 ii policykit-1 0.105-17 arduino suggests no packages. -- no debconf information
