comparison gui/mplayer/gtk/common.h @ 23077:17bf4f4b0715

Gui --> gui
author diego
date Mon, 23 Apr 2007 07:42:42 +0000
parents
children f15bce7943b9
comparison
equal deleted inserted replaced
23076:39dd908375b2 23077:17bf4f4b0715
1
2 #ifndef __COMMON_H
3 #define __COMMON_H
4
5 #include <gdk/gdkkeysyms.h>
6 #include <gtk/gtk.h>
7
8 extern GtkWidget * AddDialogFrame( GtkWidget * parent );
9 extern GtkWidget * AddFrame( const char * title,int type,GtkWidget * parent,int add );
10 extern GtkWidget * AddLabel( const char * title,GtkWidget * parent );
11 extern GtkWidget * AddVBox( GtkWidget * parent,int type );
12 extern GtkWidget * AddHBox( GtkWidget * parent,int type );
13 extern GtkWidget * AddCheckButton( const char * title, GtkWidget * parent );
14 extern GtkWidget * AddRadioButton( const char * title,GSList ** group,GtkWidget * parent );
15 extern GtkWidget * AddSpinButton( const char * title,GtkAdjustment * adj,GtkWidget * parent );
16 extern GtkWidget * AddButton( const char * title,GtkWidget * parent );
17 extern GtkWidget * AddHSeparator( GtkWidget * parent );
18 extern GtkWidget * AddHButtonBox( GtkWidget * parent );
19 extern GtkWidget * AddHScaler( GtkAdjustment * adj,GtkWidget * parent,int digit );
20 extern GtkWidget * AddVScaler( GtkAdjustment * adj,GtkWidget * parent,int digit );
21 extern GtkWidget * AddComboBox( GtkWidget * parent );
22 extern void WidgetDestroy( GtkWidget * widget,GtkWidget ** widget_pointer );
23
24 #endif