GDK_EXTENSION_EVENTS_ALL 600 400 True True True _Datei True True True gtk-new True True True gtk-open True True True gtk-save True True True gtk-save-as True True True True gtk-quit True True True _Bearbeiten True True True gtk-cut True True True gtk-copy True True True gtk-paste True True True gtk-delete True True True _Hilfe True True True gtk-about True True False True True 10 0 tab tab tab 1 True False 2