comparison easyhg.py @ 600:641ccce7c771

Avoid messing with font size when zooming, let it zoom naturally; don't delete detail item when removing it, just let it wait to be shown again (and do delete it when deleting main item)
author Chris Cannam
date Fri, 11 May 2012 17:44:33 +0100
parents 533519ebc0cb
children 92929d26b8db
comparison
equal deleted inserted replaced
599:538b6ae5c272 600:641ccce7c771