Good point. That is a theme issue but it should be fixed.

Doru

On Fri, Dec 19, 2014 at 9:46 AM, stepharo <stepharo@free.fr> wrote:
The fonts used by GSpotter to display results does not change when changing size and
this should be fixed for demo for example.

Stef




--
www.tudorgirba.com

"Every thing has its own flow"