From c46242f637ccd5211a87e39a2df2123f367315b0 Mon Sep 17 00:00:00 2001 From: twinaphex Date: Mon, 13 Oct 2014 04:28:29 +0200 Subject: [PATCH] (RGUI and friends) Assign more label room for history list --- frontend/menu/disp/shared.h | 3 +++ 1 file changed, 3 insertions(+) diff --git a/frontend/menu/disp/shared.h b/frontend/menu/disp/shared.h index a2bb28b56d..6a870d2168 100644 --- a/frontend/menu/disp/shared.h +++ b/frontend/menu/disp/shared.h @@ -139,6 +139,9 @@ static void disp_set_label(unsigned *w, unsigned type, unsigned i, if (!strcmp(label, "performance_counters")) *w = 28; + if (!strcmp(label, "history_list")) + *w = 6; + if (type == MENU_FILE_CORE) { strlcpy(type_str, "(CORE)", type_str_size);