def credits(self):
self.js.parentElement.removeChild(expr("main_menu"))
credits = Credits(self.app)
self.app.put(credits, ("50%", "50%"))
def error(self, message):
self.app.js.info_box.style.setProperty("background", "red")
self.app.js.info_box.innerHTML = "<p style=\"margin:5\">%s</p>" % message
self.app.js.info_box.style.setProperty("margin-left", expr("-info_box.offsetWidth / 2"))
def new_game(self):
self.js.parentElement.removeChild(expr("main_menu"))
choose_name = ChooseName(self.app)
self.app.put(choose_name, ("50%", "50%"))
def center(self):
self.js.style.setProperty("margin-left", expr("-%s.offsetWidth / 2" % self.parameters["id"]))
self.js.style.setProperty("margin-top", expr("-%s.offsetHeight / 2" % self.parameters["id"]))
def back(self):
self.js.parentElement.removeChild(expr("credits"))
main_menu = MainMenu(self.app)
self.app.put(main_menu, ("50%", "50%"))
def back(self):
NormalGameLobby.players.remove(self.app.player)
NormalGameLobby.update_players()
self.js.parentElement.removeChild(expr("normal_game_lobby"))
main_menu = MainMenu(self.app)
self.app.put(main_menu, ("50%", "50%"))
def update_messages(self, app):
app.js.message_box.innerHTML = "<p style=\"margin: 0\">%s</p>" % "<br>".join(NormalGameLobby.messages)
app.js.message_box.scrollTop = expr("message_box.scrollHeight - 300")
def enter(self, name):
if name != "" and name not in NormalGameLobby.get_players_names():
self.app.player.name = name
self.js.parentElement.removeChild(expr("choose_name"))
normal_game_lobby = NormalGameLobby(self.app)
self.app.put(normal_game_lobby, ("50%", "50%"))
