diff options
| author | Vincent Sanders <vince@netsurf-browser.org> | 2012-03-22 09:34:34 +0000 |
|---|---|---|
| committer | Vincent Sanders <vince@netsurf-browser.org> | 2012-03-22 09:34:34 +0000 |
| commit | 1490b52a6b96b6a69a0c4fe9e0515dc717425128 (patch) | |
| tree | 8caba44a9da98e6cebf4f188e3232534b1596a4d /gtk/tabs.c | |
| parent | 0797bf5a5731b2c8d55105b453530584ea4e1f5b (diff) | |
| download | netsurf-1490b52a6b96b6a69a0c4fe9e0515dc717425128.tar.gz netsurf-1490b52a6b96b6a69a0c4fe9e0515dc717425128.tar.bz2 | |
NetSurf options rework (a=vince r=daniels,jmb)
svn path=/trunk/netsurf/; revision=13548
Diffstat (limited to 'gtk/tabs.c')
| -rw-r--r-- | gtk/tabs.c | 8 |
1 files changed, 4 insertions, 4 deletions
diff --git a/gtk/tabs.c b/gtk/tabs.c index 9f7a68605..13f6d393d 100644 --- a/gtk/tabs.c +++ b/gtk/tabs.c @@ -25,7 +25,6 @@ #include "desktop/options.h" #include "desktop/search.h" #include "utils/utils.h" -#include "gtk/options.h" #include "gtk/search.h" #include "gtk/tabs.h" @@ -64,7 +63,7 @@ static GtkWidget *nsgtk_tab_label_setup(struct gui_window *window) hbox = gtk_hbox_new(FALSE, 2); - if (option_new_blank == true) + if (nsoption_bool(new_blank) == true) label = gtk_label_new("New Tab"); else label = gtk_label_new("Loading..."); @@ -119,7 +118,7 @@ static void nsgtk_tab_page_changed(GtkNotebook *notebook, gpointer *page, static void nsgtk_tab_orientation(GtkNotebook *notebook) { - switch (option_position_tab) { + switch (nsoption_int(position_tab)) { case 0: gtk_notebook_set_tab_pos(notebook, GTK_POS_TOP); break; @@ -144,7 +143,8 @@ static void nsgtk_tab_visibility_update(GtkNotebook *notebook, GtkWidget *child, guint page) { gint num_pages = gtk_notebook_get_n_pages(notebook); - if (option_show_single_tab == true || num_pages > 1) { + + if ((nsoption_bool(show_single_tab) == true) || (num_pages > 1)) { gtk_notebook_set_show_tabs(notebook, TRUE); } else { gtk_notebook_set_show_tabs(notebook, FALSE); |