Recent changes to 534: Editor zoom: font not scalinghttp://sourceforge.net/p/texstudio/bugs/534/Recent changes to 534: Editor zoom: font not scalingenWed, 17 Oct 2012 14:29:37 -0000http://sourceforge.net/p/texstudio/bugs/534/Benito van der ZanderWed, 17 Oct 2012 14:29:37 -0000http://sourceforge.netab5800bd43d5e9cf9fc95655cb2078eea0d67f21