labels not updated on keypress without corresponding pushbutton
at least for backspace. button_preshow run later than global_preshow
Bug watches keep track of this bug in other bug trackers.
at least for backspace. button_preshow run later than global_preshow