Very nice! I was missing this a lot. Johannes On Thu, Dec 27, 2007 at 06:09:37PM +0000, place wrote:

Interestingly, the default was and is Tiny if panel_size is not mentioned in the rc, the default was and is Small in dillorc2, the initial value had been Medium in ui.cc, and the default was and is Large if the panel_size value is not understood.

diff -pur dillo2/src/prefs.c dillo2-cur/src/prefs.c --- dillo2/src/prefs.c 2007-12-09 18:59:45.000000000 +0000 +++ dillo2-cur/src/prefs.c 2007-12-25 22:02:32.000000000 +0000 @@ -167,13 +167,13 @@ static int Prefs_parse_pair(char *name, break; case DRC_TOKEN_PANEL_SIZE: if (!dStrcasecmp(value, "tiny")) - prefs.panel_size = 1; + prefs.panel_size = P_tiny; else if (!dStrcasecmp(value, "small")) - prefs.panel_size = 2; + prefs.panel_size = P_small; else if (!dStrcasecmp(value, "medium")) - prefs.panel_size = 3; + prefs.panel_size = P_medium; else /* default to "large" */ - prefs.panel_size = 4; + prefs.panel_size = P_large; break; case DRC_TOKEN_SMALL_ICONS: prefs.small_icons = (strcmp(value, "YES") == 0); @@ -345,7 +345,7 @@ void a_Prefs_init(void) prefs.force_my_colors = FALSE; prefs.contrast_visited_color = FALSE; prefs.show_tooltip = FALSE; - prefs.panel_size = 1; + prefs.panel_size = P_tiny; prefs.small_icons = FALSE; prefs.limit_text_width = FALSE; prefs.w3c_plus_heuristics = TRUE; diff -pur dillo2/src/prefs.h dillo2-cur/src/prefs.h --- dillo2/src/prefs.h 2007-11-11 16:05:05.000000000 +0000 +++ dillo2-cur/src/prefs.h 2007-12-25 21:59:02.000000000 +0000 @@ -20,6 +20,8 @@ extern "C" { #define DW_COLOR_DEFAULT_PURPLE 0x800080 #define DW_COLOR_DEFAULT_BGND 0xd6d6c0

+/* Panel sizes */ +enum { P_tiny = 0, P_small, P_medium, P_large };

/* define enumeration values to be returned for specific symbols */ typedef enum { diff -pur dillo2/src/ui.cc dillo2-cur/src/ui.cc --- dillo2/src/ui.cc 2007-12-20 20:02:31.000000000 +0000 +++ dillo2-cur/src/ui.cc 2007-12-25 22:24:47.000000000 +0000 @@ -593,11 +593,13 @@ UI::UI(int win_w, int win_h, const char* } else { // Set some default values //PanelSize = P_tiny, CuteColor = 26, Small_Icons = 0; - PanelSize = P_medium, CuteColor = 206, Small_Icons = 0; + PanelSize = prefs.panel_size; + Small_Icons = prefs.small_icons; + CuteColor = 206; }

resizable(this); diff -pur dillo2/src/ui.hh dillo2-cur/src/ui.hh --- dillo2/src/ui.hh 2007-12-20 20:02:31.000000000 +0000 +++ dillo2-cur/src/ui.hh 2007-12-25 22:07:57.000000000 +0000 @@ -13,9 +13,6 @@

using namespace fltk;

-// Panel sizes -enum { P_tiny = 0, P_small, P_medium, P_large }; - typedef enum { UI_BACK = 0, UI_FORW,

_______________________________________________ Dillo-dev mailing list Dillo-dev@dillo.org http://lists.auriga.wearlab.de/cgi-bin/mailman/listinfo/dillo-dev