Package: arduino Version: 1:1.0+dfsg-7 Severity: wishlist Tags: upstream The editor font can be customised with the preferences, but it would be good if the font size of the status window were customisable as well. With complex error messages, I find it much easier if I can stare at the screen and spend time solving the problem, rather than deciphering pixels.
Thanks, -- System Information: Debian Release: wheezy/sid APT prefers unstable APT policy: (500, 'unstable'), (1, 'experimental') Architecture: amd64 (x86_64) Kernel: Linux 3.2.0-1-amd64 (SMP w/8 CPU cores) Locale: LANG=en_NZ, LC_CTYPE=en_NZ.UTF-8 (charmap=UTF-8) Shell: /bin/sh linked to /bin/dash Versions of packages arduino depends on: ii arduino-core 1:1.0+dfsg-7 ii default-jre [java6-runtime] 1:1.6-46 ii libjna-java 3.2.7-4 ii librxtx-java 2.2pre2-10 ii openjdk-6-jre [java6-runtime] 6b24~pre4-1 Versions of packages arduino recommends: pn extra-xdg-menus <none> pn policykit-1 <none> arduino suggests no packages. -- no debconf information -- .''`. martin f. krafft <madduck@d.o> Related projects: : :' : proud Debian developer http://debiansystem.info `. `'` http://people.debian.org/~madduck http://vcs-pkg.org `- Debian - when you have better things to do than fixing systems
digital_signature_gpg.asc
Description: Digital signature (see http://martin-krafft.net/gpg/sig-policy/999bbcc4/current)
