Android fixes

base/sources/ts/console.ts

@@ -25,7 +25,6 @@ function console_toast(s: string) {
 	if (current != null) draw_end();
 	console_trace(s);
 	console_draw_toast(s);
-	gpu_present();
 	if (current != null) draw_begin(current);
 }
 

base/sources/ts/ui_toolbar.ts

@@ -227,7 +227,7 @@ function ui_toolbar_tool_properties_menu() {
 
 		ui_header_draw_tool_properties();
 
-		if (ui.changed) {
+		if (ui.changed || ui.is_typing) {
 			ui_menu_keep_open = true;
 		}