def main_menu() -> None: main_menu = BetterMainMenu( "Crucipixel GTK", [ "New game", "Create level", "Help", "Exit" ], [ click_left_button_wrapper(lambda: print("New game!")), click_left_button_wrapper(lambda: print("Create level!")), click_left_button_wrapper(lambda: print("Help")), click_left_button_wrapper(lambda: Gtk.main_quit()) ]) main_menu.set_callback(0, click_left_button_wrapper(create_new_game(root))) main_menu.set_callback(1, click_left_button_wrapper(create_editor_input(root))) main_menu.set_callback(2, click_left_button_wrapper(create_help_screen(root))) root.set_child(main_menu)
def on_window1_delete_event(arg1, arg2): # Captures exit request made by a window manager # Disabling this means closing the window leaves a ZOMBIE!!! Gtk.main_quit()
for gnome_cache in giconcaches: try: os.remove(gnome_cache) print '***CLEARED GNOME ICON CACHE "' + gnome_cache + '"***' except OSError: pass # Now Rudely erase KDEs icon cache clean_switch_KDE = builder.get_object('switch1') if clean_switch_KDE.get_active() is True: kiconcaches = glob.glob('/var/tmp/kdecache-*/icon-cache.kcache') for kde_cache in kiconcaches: os.remove(kde_cache) print '***CLEARED KDE ICON CACHE "' + kde_cache + '"***' Gtk.main_quit() # exit() # If it made it this far it is normal and safe. YAY! if p_num_to_show == 0: backbutton.hide() else: backbutton.show() @staticmethod def make_desktop_launcher(): d_e_string = ("[Desktop Entry]\n" "Name=Ardis-Builder\n" "Icon={dirpath}/icons/ardis-builder.png\n" "Exec={dirpath}/ArdisBuilder\n" "Path={dirpath}\n"
def quit_gtk(*args, **kwd): Gtk.main_quit()