117 117 118 // Update textual info. 118 // Update textual info. 119 this.text = .text( 119 this.text = .text( 120 "Score: ", g.score, 120 "Score: ", g.score, 121 " Air: ", g.hp, 121 " Air: ", g.hp, 122 " Tide: ", g.water_until_rise, 122 " Tide: ", g.water_until_rise, 123 " Wadler: ", g.hige_until_rise, 123 " Wadler: ", g.hige_until_rise, 124 " Razor: ", g.map.razor); | 124 " Razor: ", g.map.num_razor); 125 invalidate(); 125 invalidate(); 126 } 126 } 127 127 128 private: 128 private: 129 void setup_keyhandling(void delegate(char c) command) 129 void setup_keyhandling(void delegate(char c) command) 130 { 130 { 131 noMessageFilter(); 131 noMessageFilter();