annotate gui/mplayer/gtk/opts.h @ 23679:7ec134c71749

Ignore .ho files.
author diego
date Mon, 02 Jul 2007 10:13:31 +0000
parents 17bf4f4b0715
children ce6ecb20fb44
Ignore whitespace changes - Everywhere: Within whitespace: At end of lines:
rev   line source
23077
17bf4f4b0715 Gui --> gui
diego
parents:
diff changeset
1
17bf4f4b0715 Gui --> gui
diego
parents:
diff changeset
2 #ifndef __PREFERENCES_H
17bf4f4b0715 Gui --> gui
diego
parents:
diff changeset
3 #define __PREFERENCES_H
17bf4f4b0715 Gui --> gui
diego
parents:
diff changeset
4
17bf4f4b0715 Gui --> gui
diego
parents:
diff changeset
5 #include <gtk/gtk.h>
17bf4f4b0715 Gui --> gui
diego
parents:
diff changeset
6
17bf4f4b0715 Gui --> gui
diego
parents:
diff changeset
7 extern GtkWidget * AudioConfig;
17bf4f4b0715 Gui --> gui
diego
parents:
diff changeset
8 extern GtkWidget * Preferences;
17bf4f4b0715 Gui --> gui
diego
parents:
diff changeset
9 extern GtkWidget * prEFontName;
17bf4f4b0715 Gui --> gui
diego
parents:
diff changeset
10
17bf4f4b0715 Gui --> gui
diego
parents:
diff changeset
11 extern GtkWidget * create_Preferences( void );
17bf4f4b0715 Gui --> gui
diego
parents:
diff changeset
12 extern GtkWidget * create_AudioConfig( void );
17bf4f4b0715 Gui --> gui
diego
parents:
diff changeset
13
17bf4f4b0715 Gui --> gui
diego
parents:
diff changeset
14 extern void ShowPreferences( void );
17bf4f4b0715 Gui --> gui
diego
parents:
diff changeset
15
17bf4f4b0715 Gui --> gui
diego
parents:
diff changeset
16 #endif