def main():
# First of all, load the registry
registry = Registry()
# Initialize player, display_manager
player = Actor(Actors.HERO,
"Player",
'@',
Colors.WHITE,
behavior=None,
registry=registry)
# XXX: Give player level boost for testing purposes
player.level = 10
# Initialize Dungeon
dungeon = Dungeon()
dungeon.initialize(player, registry)
# Initialize Display Manager
display_manager = DisplayManager(player, dungeon)
message("Hello world!", Colors.RED)
# Initialize Action Manager
action_manager = ActionManager(player, dungeon)
# Game loop
while not tdl.event.is_window_closed():
display_manager.refresh()
# TODO: Add player and enemy turn states and cycle between both
# Player turn
# TODO: Use game states to handle turns
action_manager.get_user_input()
if action_manager.handle_key_input() is False:
continue
# Enemy turn
for entity in dungeon.current_level.entities:
entity.take_turn(player)
# Check for player death
# TODO: Handle player death as a game state
if player.dead:
# TODO: Show death screen
print("You died!")
return 0
num_iterations = results['iterations']
values = results['utilities']
policy = results['policy']
print(f'Number of iterations: {num_iterations}\n')
print('\n(Column, Row)')
for i in range(values.shape[0]):
for j in range(values.shape[1]):
print(f"{j, i}: {values[i][j]}")
if args.display_policy:
directions = [[CONVERT_POLICY_TUPLE[cell] for cell in row]
for row in policy]
display_manager = DisplayManager(block_size=block_size,
width=width,
height=height)
display_manager.display(array=directions,
grid=grid,
offset=POLICY_OFFSET,
font=POLICY_FONT,
title='Value Iteration')
if args.display_utilities:
utilities = [["{:.3f}".format(cell) for cell in row]
for row in values]
display_manager = DisplayManager(block_size=block_size,
width=width,
height=height)
def __init__(self):
'''
init docs
'''
gtk.VBox.__init__(self)
self.brightness_id = None
self.display_manager = DisplayManager()
self.__xrandr_settings = self.display_manager.get_xrandr_settings()
self.__xrandr_settings.connect("changed", self.__xrandr_changed)
self.resize_width = 790
self.resize_height = 200
self.monitor_items = []
self.__output_names = []
self.__current_output_name = self.display_manager.get_primary_output_name(
)
self.__setup_monitor_items()
self.sizes_items = []
self.monitor_combo = None
if len(self.monitor_items
) > 1 and self.display_manager.is_copy_monitors():
self.__set_same_sizes()
else:
self.__setup_sizes_items()
self.multi_monitors_items = [(_("Copy Display"), 1),
(_("Extend Display"), 2),
(_("Only shown in display 1"), 3),
(_("Only shown in display 2"), 4)]
self.rotation_items = [(_("Normal"), 1), (_("Right"), 2),
(_("Left"), 3), (_("Inverted"), 4)]
self.duration_items = [("1 %s" % _("Minute"), 1),
("2 %s" % _("Minutes"), 2),
("3 %s" % _("Minutes"), 3),
("5 %s" % _("Minutes"), 5),
("10 %s" % _("Minutes"), 10),
("30 %s" % _("Minutes"), 30),
("1 %s" % _("Hour"), 60),
(_("Never"), DisplayManager.BIG_NUM / 60)]
'''
scrolled_window
'''
self.scrolled_window = ScrolledWindow()
self.scrolled_window.set_size_request(-1, 425)
self.scrolled_window.set_policy(gtk.POLICY_NEVER, gtk.POLICY_AUTOMATIC)
self.main_box = gtk.VBox()
self.main_box.set_size_request(600, -1)
self.body_box = gtk.HBox()
'''
left, right align
'''
self.left_align = self.__setup_align(
padding_top=FRAME_TOP_PADDING,
padding_left=TEXT_WINDOW_LEFT_PADDING)
self.right_align = self.__setup_align(padding_top=FRAME_TOP_PADDING,
padding_left=0)
'''
left, right box
'''
self.left_box = gtk.VBox(spacing=WIDGET_SPACING)
self.right_box = gtk.VBox(spacing=WIDGET_SPACING)
'''
monitor operation && detect
'''
self.monitor_resize_align = self.__setup_align(
padding_top=11, padding_left=int(TEXT_WINDOW_LEFT_PADDING / 2))
self.monitor_resize_box = MonitorResizableBox(self.display_manager)
self.monitor_resize_box.select_output(self.__current_output_name)
self.monitor_resize_box.connect("select-output", self.__select_output)
self.monitor_resize_box.connect("resize", self.__resize_box)
self.monitor_resize_align.add(self.monitor_resize_box)
'''
monitor display
'''
self.monitor_display_align = self.__setup_title_align(
app_theme.get_pixbuf("display/monitor_display.png"), _("Display"),
0)
'''
monitor
'''
self.monitor_align = self.__setup_align()
self.monitor_box = gtk.HBox(spacing=WIDGET_SPACING)
self.monitor_label = self.__setup_label(_("Monitor"))
self.monitor_combo = self.__setup_combo(self.monitor_items)
self.monitor_combo.set_select_index(
self.display_manager.get_primary_output_name_index(
self.monitor_items))
self.monitor_combo.connect("item-selected", self.__combo_item_selected,
"monitor_combo")
self.__widget_pack_start(self.monitor_box,
[self.monitor_label, self.monitor_combo])
self.monitor_align.add(self.monitor_box)
'''
goto individuation or power setting
'''
self.goto_align = self.__setup_align()
self.goto_box = gtk.VBox(spacing=WIDGET_SPACING)
self.goto_label = self.__setup_label(_("Relevant Settings"),
text_size=TITLE_FONT_SIZE,
width=None,
align=ALIGN_START)
goto_color = GOTO_FG_COLOR
self.goto_individuation_label = self.__setup_label(text=_(
"<span foreground=\"%s\" underline=\"single\">Personalization</span>"
) % goto_color,
width=None,
align=ALIGN_START)
self.goto_individuation_label.connect("button-press-event",
self.__button_press,
"individuation")
set_clickable_cursor(self.goto_individuation_label)
self.goto_power_label = self.__setup_label(
text=_("<span foreground=\"%s\" underline=\"single\">Power</span>")
% goto_color,
width=None,
align=ALIGN_START)
self.goto_power_label.connect("button-press-event",
self.__button_press, "power")
set_clickable_cursor(self.goto_power_label)
self.__widget_pack_start(self.goto_box, [
self.goto_label, self.goto_individuation_label,
self.goto_power_label
])
self.goto_align.add(self.goto_box)
'''
sizes
'''
self.sizes_align = self.__setup_align()
self.sizes_box = gtk.HBox(spacing=WIDGET_SPACING)
self.sizes_label = self.__setup_label(_("Resolution"))
self.sizes_combo = self.__setup_combo(self.sizes_items)
if self.sizes_combo:
self.sizes_combo.set_select_index(
self.display_manager.get_screen_size_index(
self.__current_output_name, self.sizes_items))
self.sizes_combo.connect("item-selected",
self.__combo_item_selected, "sizes_combo")
self.__widget_pack_start(self.sizes_box,
[self.sizes_label, self.sizes_combo])
self.sizes_align.add(self.sizes_box)
'''
rotation
'''
self.rotation_align = self.__setup_align()
self.rotation_box = gtk.HBox(spacing=WIDGET_SPACING)
self.rotation_label = self.__setup_label(_("Rotation"))
self.rotation_combo = self.__setup_combo(self.rotation_items)
self.rotation_combo.set_select_index(
self.display_manager.get_screen_rotation_index(
self.__current_output_name))
self.rotation_combo.connect("item-selected",
self.__combo_item_selected,
"rotation_combo")
self.__widget_pack_start(self.rotation_box,
[self.rotation_label, self.rotation_combo])
self.rotation_align.add(self.rotation_box)
'''
multi-monitors
'''
self.multi_monitors_align = self.__setup_align()
self.multi_monitors_box = gtk.HBox(spacing=WIDGET_SPACING)
self.multi_monitors_label = self.__setup_label(_("Multi-Monitor"))
self.multi_monitors_combo = self.__setup_combo(
self.multi_monitors_items)
self.multi_monitors_combo.set_select_index(
self.display_manager.get_multi_monitor_index())
self.multi_monitors_combo.connect("item-selected",
self.__combo_item_selected,
"multi_monitors_combo")
self.__widget_pack_start(
self.multi_monitors_box,
[self.multi_monitors_label, self.multi_monitors_combo])
self.multi_monitors_align.add(self.multi_monitors_box)
if self.display_manager.get_output_count() < 2:
self.multi_monitors_align.set_size_request(-1, 0)
self.multi_monitors_align.set_child_visible(False)
'''
monitor brightness
'''
self.monitor_bright_align = self.__setup_title_align(
app_theme.get_pixbuf("display/monitor_bright.png"),
_("Brightness"))
'''
brightness
'''
self.brightness_align = self.__setup_align()
self.brightness_box = gtk.HBox(spacing=2)
self.brightness_label_align = self.__setup_align(padding_top=8,
padding_left=0,
padding_right=5)
self.brightness_label = self.__setup_label(_("Brightness"))
self.brightness_label_align.add(self.brightness_label)
self.brightness_scale = HScalebar(
point_dpixbuf=app_theme.get_pixbuf("scalebar/point.png"),
value_min=0.1,
value_max=1.0)
self.brightness_scale.set_size_request(HSCALEBAR_WIDTH, 33)
self.brightness_scale.set_value(
self.display_manager.get_screen_brightness())
self.brightness_scale.connect("value-changed", self.__set_brightness)
self.__widget_pack_start(
self.brightness_box,
[self.brightness_label_align, self.brightness_scale])
self.brightness_align.add(self.brightness_box)
'''
auto adjust monitor brightness
'''
self.auto_adjust_align = self.__setup_align()
self.auto_adjust_box = gtk.HBox(spacing=WIDGET_SPACING)
self.auto_adjust_label = self.__setup_label(_("Auto-Brightness"))
self.auto_adjust_toggle_align = self.__setup_align(padding_top=4,
padding_left=158)
self.auto_adjust_toggle = self.__setup_toggle()
self.auto_adjust_toggle.set_active(
self.display_manager.is_enable_close_monitor())
self.auto_adjust_toggle.connect("toggled", self.__toggled,
"auto_adjust_toggle")
self.auto_adjust_toggle_align.add(self.auto_adjust_toggle)
self.__widget_pack_start(
self.auto_adjust_box,
[self.auto_adjust_label, self.auto_adjust_toggle_align])
self.auto_adjust_align.add(self.auto_adjust_box)
'''
close monitor
'''
self.close_monitor_align = self.__setup_align()
self.close_monitor_box = gtk.HBox(spacing=WIDGET_SPACING)
self.close_monitor_label = self.__setup_label(_("Turn off monitor"))
self.close_monitor_combo = self.__setup_combo(self.duration_items)
self.close_monitor_combo.set_select_index(
self.display_manager.get_close_monitor_index(self.duration_items))
self.close_monitor_combo.connect("item-selected",
self.__combo_item_selected,
"close_monitor_combo")
self.__widget_pack_start(
self.close_monitor_box,
[self.close_monitor_label, self.close_monitor_combo])
self.close_monitor_align.add(self.close_monitor_box)
'''
monitor lock
'''
self.monitor_lock_align = self.__setup_title_align(
app_theme.get_pixbuf("lock/lock.png"), _("Lock Screen"))
'''
auto monitor lock
'''
self.auto_lock_align = self.__setup_align()
self.auto_lock_box = gtk.HBox(spacing=WIDGET_SPACING)
self.auto_lock_label = self.__setup_label(
_("Lock screen automatically"))
self.auto_lock_toggle_align = self.__setup_align(padding_top=4,
padding_left=158)
self.auto_lock_toggle = self.__setup_toggle()
is_enable_lock_display = self.display_manager.is_enable_lock_display()
self.auto_lock_toggle.set_active(is_enable_lock_display)
self.auto_lock_toggle.connect("toggled", self.__toggled,
"auto_lock_toggle")
self.auto_lock_toggle_align.add(self.auto_lock_toggle)
self.__widget_pack_start(
self.auto_lock_box,
[self.auto_lock_label, self.auto_lock_toggle_align])
self.auto_lock_align.add(self.auto_lock_box)
'''
lock display
'''
self.lock_display_align = self.__setup_align(padding_bottom=20)
self.lock_display_box = gtk.HBox(spacing=WIDGET_SPACING)
self.lock_display_label = self.__setup_label(_("Lock Screen"))
self.lock_display_combo = self.__setup_combo(self.duration_items)
self.lock_display_combo.set_select_index(
self.display_manager.get_lock_display_index(self.duration_items))
self.lock_display_combo.connect("item-selected",
self.__combo_item_selected,
"lock_display_combo")
self.__widget_pack_start(
self.lock_display_box,
[self.lock_display_label, self.lock_display_combo])
self.lock_display_align.add(self.lock_display_box)
'''
left_align pack_start
'''
self.__widget_pack_start(
self.left_box,
[
self.monitor_display_align,
self.monitor_align,
self.sizes_align,
self.rotation_align,
self.multi_monitors_align,
self.monitor_bright_align,
self.brightness_align,
#self.auto_adjust_align,
#self.close_monitor_align,
self.monitor_lock_align,
self.auto_lock_align,
self.lock_display_align
])
self.left_align.add(self.left_box)
'''
right_align pack_start
'''
self.__widget_pack_start(self.right_box, [self.goto_align])
self.right_box.set_size_request(280, -1)
self.right_align.add(self.right_box)
'''
main && body box
'''
self.main_box.pack_start(self.monitor_resize_align, False, False)
self.body_box.pack_start(self.left_align)
self.body_box.pack_start(self.right_align, False, False)
self.main_box.pack_start(self.body_box)
'''
this->HBox pack_start
'''
self.scrolled_window.add_child(self.main_box)
self.pack_start(self.scrolled_window)
self.__send_message("status", ("display", ""))
'drill_press': False,
'sewing_machine': False,
'oscilloscope': False,
'user': False,
'superuser': False,
'banned': False
},
'rfid_regex': r'^[0-9A-z]+\n[0-9A-z]{10}$'
}
rfid_reader = RfidReader(SETTINGS['rfid_regex'])
db = RedisConnection(
uid_regex=SETTINGS['rfid_regex'],
user_privileges=SETTINGS['user_privileges'],
)
display = DisplayManager(db=db, user_privileges=SETTINGS['user_privileges'])
dct = {
'4808739405663507168\n2cef529fab': {
"uni": 'ye2184',
"first_name": 'Yonah',
"last_name": 'Elorza',
"user": 1,
"drill": 1,
"mill": 1,
"sewing": 1,
"printer": 1,
"solder": 1,
"oscope": 1,
"vinyl": 1,
"laser": 1,
def __init__(self):
self.input_manager = InputManager()
self.display_manager = DisplayManager()
