From d1a29ecf32f2dfada678aa175d099c43e386c0e8 Mon Sep 17 00:00:00 2001 From: Marco Pesenti Gritti Date: Thu, 01 Mar 2007 20:38:38 +0000 Subject: Set font to 7 points. Tweak zoom levels. --- (limited to 'tools') -- cgit v0.9.1