diff Gui/interface.c @ 21200:c7b5dd2b2291

better nav highlight handling
author ben
date Sat, 25 Nov 2006 13:03:51 +0000
parents b42f1c1ef651
children 308495b6d611
line wrap: on
line diff