Merge branch 'master' of https://github.com/wesnoth/wesnoth

wesnoth · Mar 15, 2015 · 0ede774 · 0ede774
2 parents 9ca0ace + 1c0ea99
commit 0ede774
Showing 1 changed file with 2 additions and 2 deletions.
diff --git a/src/help/help_browser.cpp b/src/help/help_browser.cpp
@@ -53,11 +53,11 @@ help_browser::help_browser(display &disp, const section &toplevel) :
 
 void help_browser::adjust_layout()
 {
-  const int menu_buttons_padding = font::relative_size(10);
+	const int menu_buttons_padding = font::relative_size(10);
 	const int menu_y = location().y;
 	const int menu_x = location().x;
 	const int menu_w = 250;
-	const int menu_h = height() - back_button_.height() - menu_buttons_padding;
+	const int menu_h = height();
 
 	const int menu_text_area_padding = font::relative_size(10);
 	const int text_area_y = location().y;