-
Federico Mena Quintero authored
Buttons may also be activated at any time from gtk_widget_activate() or related functions. In that case, just do the 'show the button as pushed for a short amount of time' trick, but don't actually try to grab the keyboard device. Signed-off-by: Federico Mena Quintero <federico@gnome.org>
d07231cb