diff options
| author | Guy Harris <guy@alum.mit.edu> | 2013-05-13 22:02:37 +0000 |
|---|---|---|
| committer | Guy Harris <guy@alum.mit.edu> | 2013-05-13 22:02:37 +0000 |
| commit | 311f61d91631e13313d30cb49c340fd57d024ceb (patch) | |
| tree | 2715d73fc4e812cbefc606b4b6a98843544f39df /ui/gtk/prefs_gui.h | |
| parent | 8ad81a426fb0abe1885f17d795f9ebb3a9c8c342 (diff) | |
Get rid of declaration of no-longer-defined-or-used routine.
svn path=/trunk/; revision=49276
Diffstat (limited to 'ui/gtk/prefs_gui.h')
| -rw-r--r-- | ui/gtk/prefs_gui.h | 6 |
1 files changed, 0 insertions, 6 deletions
diff --git a/ui/gtk/prefs_gui.h b/ui/gtk/prefs_gui.h index 0cbf52c27e..1cb6e79af9 100644 --- a/ui/gtk/prefs_gui.h +++ b/ui/gtk/prefs_gui.h @@ -55,10 +55,4 @@ extern void gui_prefs_apply(GtkWidget *widget); */ void gui_prefs_destroy(GtkWidget *widget); -/** Build a User interface font preferences page. - * - * @return the new preferences page - */ -extern GtkWidget *gui_font_prefs_show(void); - #endif |