Bug#850784: arduino: No HiDPI support in arudino 1.0.5

2017-01-10 Thread solitone
On Tuesday, January 10, 2017 5:53:29 PM CET Scott Howard wrote: > Arduino had some licensing issues that prevented it from being > upgraded in debian that were resolved last month. See > https://bugs.debian.org/cgi-bin/bugreport.cgi?bug=780706 > > it looks like it can go forward again! That would

Bug#850784: arduino: No HiDPI support in arudino 1.0.5

2017-01-10 Thread Scott Howard
Hello, Arduino had some licensing issues that prevented it from being upgraded in debian that were resolved last month. See https://bugs.debian.org/cgi-bin/bugreport.cgi?bug=780706 it looks like it can go forward again! -Scott On Tue, Jan 10, 2017 at 2:25 AM, solitone wrote: > Package: arduino >

Bug#850784: arduino: No HiDPI support in arudino 1.0.5

2017-01-09 Thread solitone
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 gl