38 FUNCTION render() -> void; |
38 FUNCTION render() -> void; |
39 FUNCTION render_full() -> void; |
39 FUNCTION render_full() -> void; |
40 FUNCTION set_title (const String& message) -> void; |
40 FUNCTION set_title (const String& message) -> void; |
41 FUNCTION update_statusbar() -> void; |
41 FUNCTION update_statusbar() -> void; |
42 FUNCTION connect (String address, String password) -> void; |
42 FUNCTION connect (String address, String password) -> void; |
|
43 FUNCTION set_player_names (const StringList& names) -> void; |
43 }; |
44 }; |