-
Geoff Voelker authored
as an expose event if the repaint region is actually empty. Also use the standard menubar_selection_callback routine.
014b6ea1
as an expose event if the repaint region is actually empty. Also use the standard menubar_selection_callback routine.