3
layout.provides('navigation')
5
style.gm_nav_frame = Style(style.menu_frame, help="game menu navigation frame")
6
style.gm_nav_box = Style(style.vbox, help="box containing game menu navigation buttons")
8
style.gm_nav_button = Style(style.button, help="game menu navigation button")
9
style.gm_nav_button_text = Style(style.button_text, help="game menu navigation button (text)")
11
style.gm_nav_button.size_group = "gm_nav_button"
13
style.gm_nav_frame.xpos = 5.0/6.0
14
style.gm_nav_frame.xanchor = 0.5
15
style.gm_nav_frame.ypos = 0.95
16
style.gm_nav_frame.yanchor = 1.0
18
def _navigation(screen=None):
20
# Display the game menu background
21
ui.window(style=style.gm_root[screen])
27
# Display the navigation frame.
28
ui.frame(style='gm_nav_frame')
29
ui.vbox(focus='gm_nav', style='gm_nav_box')
31
for e in config.game_menu:
34
key, label, clicked, enabled = e
37
key, label, clicked, enabled, shown = e
44
selected=(screen==key),
45
enabled=eval(enabled),
50
layout.navigation = _navigation