From ba4acfc4f4ca28c96ca0be523c18774975fceb6c Mon Sep 17 00:00:00 2001
From: Nemh <nemofournier@gmail.com>
Date: Sun, 31 May 2015 14:31:00 +0200
Subject: [PATCH] A (very) few UI improvements

---
 config.c  |  2 +-
 console.c | 21 ++++++++++++++-------
 2 files changed, 15 insertions(+), 8 deletions(-)

diff --git a/config.c b/config.c
index aaf1fb6..c09808d 100644
--- a/config.c
+++ b/config.c
@@ -86,7 +86,7 @@ void menu_setup()
 	menu.items = malloc(sizeof(Menu_Item*) * number);
 
 	menu.items[0] = menu_create_item("About", FUNCTION_CALL, menu_about);
-	menu.items[1] = menu_create_item("Tex flag", CHECK_BOX, get_tex_flag_address());
+	menu.items[1] = menu_create_item("Pretty Print", CHECK_BOX, get_tex_flag_address());
 	if(menu.items[0] && menu.items[1]) menu.items_number = number;
 	else {
 		menu_free_item(menu.items[0]);
diff --git a/console.c b/console.c
index 1e49b9d..898ed65 100644
--- a/console.c
+++ b/console.c
@@ -634,14 +634,21 @@ int Console_GetKey()
 
 	if (key == KEY_CTRL_EXE)
 	{
-		if (Current_Line == Last_Line)
-		{
-			return Console_NewLine(LINE_TYPE_INPUT, 1);
-		}
-		else
-		{
-			return CONSOLE_ARG_ERR;
+#ifdef POPUP_PRETTY
+		if(Line[Current_Line].tex_flag) Console_Draw_TeX_Popup(Line[Current_Line].tex_str, Line[Current_Line].tex_width, Line[Current_Line].tex_height);
+		else {
+#endif
+			if (Current_Line == Last_Line)
+			{
+				return Console_NewLine(LINE_TYPE_INPUT, 1);
+			}
+			else
+			{
+				return CONSOLE_ARG_ERR;
+			}
+#ifdef POPUP_PRETTY
 		}
+#endif
 	}
 
 	if (key == KEY_CTRL_DEL) return Console_Backspace();