comparison icons/sv-22x22.png @ 446:8df5d64bf7c5 toggle

Save size before switching to minimal mode, restore it when switching back. This is the same mechanism as used to save/restore the window size when exiting & restarting the program
author Chris Cannam
date Fri, 24 Jun 2011 11:29:06 +0100
parents c3114dffdff4
children
comparison
equal deleted inserted replaced
445:45f2e4cda1d7 446:8df5d64bf7c5