John Collins

Results 1 comments of John Collins

![arduino_high_dpi_issue](https://user-images.githubusercontent.com/4308529/32314103-8d9b2dc0-bf7c-11e7-88ce-d76bb0865aad.png) Not sure if this is the right place to post this, but on Ubuntu 17.10 using wayland, manual High DPI scaling works for everything except for the menu items....