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()
