# HG changeset patch
# User glx
# Date 1211300778 0
# Node ID c389705ba89fcd76bb9ddbde06c69c5d30ddda69
# Parent  cbd10d63440bc913d61ed88723cbd5455de7172d
(svn r13197) [NoAI] -Codechange: make the AIDebugWindow resizable

diff -r cbd10d63440b -r c389705ba89f src/ai/ai_gui.cpp
--- a/src/ai/ai_gui.cpp	Tue May 20 15:56:37 2008 +0000
+++ b/src/ai/ai_gui.cpp	Tue May 20 16:26:18 2008 +0000
@@ -216,12 +216,12 @@
 
 static const Widget _ai_debug_widgets[] = {
 {   WWT_CLOSEBOX,   RESIZE_NONE,    14,     0,    10,     0,    13, STR_00C5,                   STR_018B_CLOSE_WINDOW},                 // AID_WIDGET_CLOSEBOX
-{    WWT_CAPTION,   RESIZE_NONE,    14,    11,   298,     0,    13, STR_AI_DEBUG,               STR_018C_WINDOW_TITLE_DRAG_THIS},       // AID_WIDGET_CAPTION
-{      WWT_PANEL,   RESIZE_NONE,    14,     0,   298,    14,    27, 0x0,                        STR_NULL},                              // AID_WIDGET_VIEW
+{    WWT_CAPTION,  RESIZE_RIGHT,    14,    11,   298,     0,    13, STR_AI_DEBUG,               STR_018C_WINDOW_TITLE_DRAG_THIS},       // AID_WIDGET_CAPTION
+{      WWT_PANEL,  RESIZE_RIGHT,    14,     0,   298,    14,    27, 0x0,                        STR_NULL},                              // AID_WIDGET_VIEW
 
-{      WWT_PANEL,   RESIZE_NONE,    14,     0,   149,    28,    47, 0x0,                        STR_AI_DEBUG_NAME_TIP},                 // AID_WIDGET_NAME_TEXT
-{ WWT_PUSHTXTBTN,   RESIZE_NONE,    14,   150,   298,    28,    47, STR_AI_DEBUG_RELOAD,        STR_AI_DEBUG_RELOAD_TIP},               // AID_WIDGET_RELOAD_TOGGLE
-{      WWT_PANEL,   RESIZE_NONE,    14,     0,   298,    48,   227, 0x0,                        STR_NULL},                              // AID_WIDGET_LOG_PANEL
+{      WWT_PANEL,  RESIZE_RIGHT,    14,     0,   149,    28,    47, 0x0,                        STR_AI_DEBUG_NAME_TIP},                 // AID_WIDGET_NAME_TEXT
+{ WWT_PUSHTXTBTN,     RESIZE_LR,    14,   150,   298,    28,    47, STR_AI_DEBUG_RELOAD,        STR_AI_DEBUG_RELOAD_TIP},               // AID_WIDGET_RELOAD_TOGGLE
+{      WWT_PANEL,     RESIZE_RB,    14,     0,   298,    48,   227, 0x0,                        STR_NULL},                              // AID_WIDGET_LOG_PANEL
 /* As this is WIP, leave the next few so we can work a bit with the GUI */
 {      WWT_EMPTY,   RESIZE_NONE,    14,     0,   298,    88,   107, 0x0,                        STR_NULL},                              // AID_WIDGET_UNUSED_1
 {      WWT_EMPTY,   RESIZE_NONE,    14,     0,   298,   108,   127, 0x0,                        STR_NULL},                              // AID_WIDGET_UNUSED_2
@@ -239,13 +239,14 @@
 {      WWT_PANEL,   RESIZE_NONE,    14,   187,   223,    14,    26, 0x0,                        STR_704F_CLICK_HERE_TO_TOGGLE_COMPANY},
 {      WWT_PANEL,   RESIZE_NONE,    14,   224,   260,    14,    26, 0x0,                        STR_704F_CLICK_HERE_TO_TOGGLE_COMPANY},
 {      WWT_PANEL,   RESIZE_NONE,    14,   261,   297,    14,    26, 0x0,                        STR_704F_CLICK_HERE_TO_TOGGLE_COMPANY}, // AID_WIDGET_COMPANY_BUTTON_END
+{  WWT_RESIZEBOX,   RESIZE_LRTB,    14,   287,   298,   216,   227, STR_NULL,                   STR_RESIZE_BUTTON},
 {   WIDGETS_END},
 };
 
 static const WindowDesc _ai_debug_desc = {
 	WDP_AUTO, WDP_AUTO, 299, 228, 299, 228,
 	WC_AI_DEBUG, WC_NONE,
-	WDF_STD_TOOLTIPS | WDF_STD_BTN | WDF_DEF_WIDGET,
+	WDF_STD_TOOLTIPS | WDF_STD_BTN | WDF_DEF_WIDGET | WDF_RESIZABLE,
 	_ai_debug_widgets
 };