diff options
author | Gerald Combs <gerald@wireshark.org> | 2013-01-03 01:02:30 +0000 |
---|---|---|
committer | Gerald Combs <gerald@wireshark.org> | 2013-01-03 01:02:30 +0000 |
commit | 430e97c866dc2baec48a8eb253f31906b65f250c (patch) | |
tree | b345ec93c6238e1f5980b9cb3751b0f804d60e12 /ui/gtk/prefs_gui.h | |
parent | 98c8897f262981376f01dfccfc1a14d1dbeca08f (diff) |
Move the font preferences to the colors pane and change its name to
"Font and Colors". Use a GtkFontButton to select the font and update the
sample text accordingly. Instead of attempting to resize the sample
color text (which didn't appear to work) scroll to the text that matches
the current combo box selection.
svn path=/trunk/; revision=46909
Diffstat (limited to 'ui/gtk/prefs_gui.h')
-rw-r--r-- | ui/gtk/prefs_gui.h | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/ui/gtk/prefs_gui.h b/ui/gtk/prefs_gui.h index 632308afd4..0cbf52c27e 100644 --- a/ui/gtk/prefs_gui.h +++ b/ui/gtk/prefs_gui.h @@ -47,7 +47,7 @@ extern void gui_prefs_fetch(GtkWidget *widget); * * @param widget widget from gui_prefs_show() */ -extern void gui_prefs_apply(GtkWidget *widget, gboolean); +extern void gui_prefs_apply(GtkWidget *widget); /** Destroy preference values from page. * |