diff gui/interface.h @ 36063:955ea8d7ee47

Fix parameter auto_shrink. It's merely cosmetic.
author ib
date Thu, 04 Apr 2013 18:37:59 +0000
parents 1562f350e8d2
children 703a51ce08c8
line wrap: on
line diff