]> asedeno.scripts.mit.edu Git - PuTTY.git/search
GTK 3: tweak margin below the gtkask drawing areas.