@@ -1085,7 +1085,7 @@ static void preferences_dialog_canceled (GtkWidget *w, int *c)
10851085
10861086static int page_has_help (int p )
10871087{
1088- return p == TAB_EDITOR || p == TAB_VCV ;
1088+ return p == TAB_VCV ;
10891089}
10901090
10911091static void sensitize_prefs_help (GtkNotebook * book ,
@@ -1101,10 +1101,7 @@ static void show_prefs_help (GtkWidget *w, GtkWidget *notebook)
11011101 gint page ;
11021102
11031103 page = gtk_notebook_get_current_page (GTK_NOTEBOOK (notebook ));
1104-
1105- if (page + 1 == TAB_EDITOR ) {
1106- show_gui_help (EDITOR );
1107- } else if (page + 1 == TAB_VCV ) {
1104+ if (page + 1 == TAB_VCV ) {
11081105 show_gui_help (HCCME );
11091106 }
11101107}
@@ -1161,8 +1158,10 @@ int preferences_dialog (int page, const char *varname, GtkWidget *parent)
11611158 notebook = gtk_notebook_new ();
11621159 gtk_box_pack_start (GTK_BOX (vbox ), notebook , TRUE, TRUE, 0 );
11631160
1161+ #ifndef GRETL_EDIT
11641162 make_prefs_tab (notebook , TAB_MAIN , 0 );
11651163 make_prefs_tab (notebook , TAB_PLOTS , 0 );
1164+ #endif
11661165 make_prefs_tab (notebook , TAB_PROGS , 0 );
11671166 make_prefs_tab (notebook , TAB_EDITOR , 0 );
11681167 make_prefs_tab (notebook , TAB_NET , 0 );
@@ -1209,7 +1208,11 @@ int preferences_dialog (int page, const char *varname, GtkWidget *parent)
12091208 button );
12101209
12111210 if (page > 1 && page < TAB_MAX ) {
1211+ #ifdef GRETL_EDIT
1212+ page = 1 ;
1213+ #else
12121214 page -- ;
1215+ #endif
12131216 /* "show" the target page first (see GtkNoteBook API doc) */
12141217 gtk_widget_show (gtk_notebook_get_nth_page (GTK_NOTEBOOK (notebook ), page ));
12151218 gtk_notebook_set_current_page (GTK_NOTEBOOK (notebook ), page );
@@ -2008,6 +2011,7 @@ static void make_prefs_tab (GtkWidget *notebook, int tab,
20082011 gtk_spin_button_set_value (GTK_SPIN_BUTTON (rc -> widget ), * intvar );
20092012 gtk_table_attach_defaults (GTK_TABLE (l_table ),
20102013 rc -> widget , 1 , 2 , l_len - 1 , l_len );
2014+ #ifndef GRETL_EDIT
20112015 } else if (rc -> flags & BTNSET ) {
20122016 /* string variable needing a launcher button */
20132017 l_len ++ ;
@@ -2021,6 +2025,7 @@ static void make_prefs_tab (GtkWidget *notebook, int tab,
20212025 G_CALLBACK (png_font_selector ), page );
20222026 gtk_table_attach_defaults (GTK_TABLE (l_table ),
20232027 rc -> widget , 1 , 2 , l_len - 1 , l_len );
2028+ #endif
20242029 } else if (!(rc -> flags & INVISET )) {
20252030 /* visible string variable */
20262031 char * strvar = (char * ) rc -> var ;
0 commit comments