4 |
** |
** |
5 |
** interface.c |
** interface.c |
6 |
** |
** |
7 |
** Author<s>: Emmanuel Turquin (aka "Ender") <turqui_e@epita.fr> |
** Author<s>: Emmanuel Turquin (aka "Ender") <turqui_e@epita.fr> |
8 |
** Michael Terry <mterry@fastmail.fm> |
** Michael Terry <mterry@fastmail.fm> |
9 |
** Leslie Polzer <leslie.polzer@gmx.net> |
** Leslie Polzer <leslie.polzer@gmx.net> |
10 |
** Description: Beaver interface source |
** Description: Beaver interface source |
11 |
** |
** |
12 |
** This program is free software; you can redistribute it and/or modify |
** This program is free software; you can redistribute it and/or modify |
13 |
** it under the terms of the GNU General Public License as published by |
** it under the terms of the GNU General Public License as published by |
144 |
{ |
{ |
145 |
gint CurrentPage, i; |
gint CurrentPage, i; |
146 |
gint Op = GPOINTER_TO_INT (Op_in); |
gint Op = GPOINTER_TO_INT (Op_in); |
147 |
|
GtkWidget *PrefsWindow; |
148 |
|
|
149 |
CurrentPage = gtk_notebook_get_current_page (GTK_NOTEBOOK(MainNotebook)); |
CurrentPage = gtk_notebook_get_current_page (GTK_NOTEBOOK(MainNotebook)); |
150 |
switch(Op) |
switch(Op) |
483 |
case TAB_WIDTH_3 : set_tab_width (3); break; |
case TAB_WIDTH_3 : set_tab_width (3); break; |
484 |
case TAB_WIDTH_4 : set_tab_width (4); break; |
case TAB_WIDTH_4 : set_tab_width (4); break; |
485 |
case TAB_WIDTH_8 : set_tab_width (8); break; |
case TAB_WIDTH_8 : set_tab_width (8); break; |
486 |
case PREFS : display_prefs (&Settings); break; |
case PREFS : |
487 |
|
PrefsWindow = create_PrefsWindow(); |
488 |
|
gtk_widget_show(PrefsWindow); |
489 |
|
break; |
490 |
case HELP : |
case HELP : |
491 |
print_msg (_("No help available yet.")); |
print_msg (_("No help available yet.")); |
492 |
break; |
break; |