annotate gui/mplayer/gtk/gtk_url.h @ 26955:201edd6f563c

Get rid of needless emphasis.
author diego
date Wed, 04 Jun 2008 12:38:45 +0000
parents b0a7b35b78d2
children 9e739bdb049c
Ignore whitespace changes - Everywhere: Within whitespace: At end of lines:
rev   line source
26458
b0a7b35b78d2 Add standard GPL header to individual files.
diego
parents: 26137
diff changeset
1 /*
b0a7b35b78d2 Add standard GPL header to individual files.
diego
parents: 26137
diff changeset
2 * This file is part of MPlayer.
b0a7b35b78d2 Add standard GPL header to individual files.
diego
parents: 26137
diff changeset
3 *
b0a7b35b78d2 Add standard GPL header to individual files.
diego
parents: 26137
diff changeset
4 * MPlayer is free software; you can redistribute it and/or modify
b0a7b35b78d2 Add standard GPL header to individual files.
diego
parents: 26137
diff changeset
5 * it under the terms of the GNU General Public License as published by
b0a7b35b78d2 Add standard GPL header to individual files.
diego
parents: 26137
diff changeset
6 * the Free Software Foundation; either version 2 of the License, or
b0a7b35b78d2 Add standard GPL header to individual files.
diego
parents: 26137
diff changeset
7 * (at your option) any later version.
b0a7b35b78d2 Add standard GPL header to individual files.
diego
parents: 26137
diff changeset
8 *
b0a7b35b78d2 Add standard GPL header to individual files.
diego
parents: 26137
diff changeset
9 * MPlayer is distributed in the hope that it will be useful,
b0a7b35b78d2 Add standard GPL header to individual files.
diego
parents: 26137
diff changeset
10 * but WITHOUT ANY WARRANTY; without even the implied warranty of
b0a7b35b78d2 Add standard GPL header to individual files.
diego
parents: 26137
diff changeset
11 * MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
b0a7b35b78d2 Add standard GPL header to individual files.
diego
parents: 26137
diff changeset
12 * GNU General Public License for more details.
b0a7b35b78d2 Add standard GPL header to individual files.
diego
parents: 26137
diff changeset
13 *
b0a7b35b78d2 Add standard GPL header to individual files.
diego
parents: 26137
diff changeset
14 * You should have received a copy of the GNU General Public License along
b0a7b35b78d2 Add standard GPL header to individual files.
diego
parents: 26137
diff changeset
15 * with MPlayer; if not, write to the Free Software Foundation, Inc.,
b0a7b35b78d2 Add standard GPL header to individual files.
diego
parents: 26137
diff changeset
16 * 51 Franklin Street, Fifth Floor, Boston, MA 02110-1301 USA.
b0a7b35b78d2 Add standard GPL header to individual files.
diego
parents: 26137
diff changeset
17 */
b0a7b35b78d2 Add standard GPL header to individual files.
diego
parents: 26137
diff changeset
18
26137
02a08fffb1dc Rename url.c/url.h to the less generic gtk_url.c/gtk_url.h.
diego
parents: 26136
diff changeset
19 #ifndef MPLAYER_GUI_GTK_URL_H
02a08fffb1dc Rename url.c/url.h to the less generic gtk_url.c/gtk_url.h.
diego
parents: 26136
diff changeset
20 #define MPLAYER_GUI_GTK_URL_H
23077
17bf4f4b0715 Gui --> gui
diego
parents:
diff changeset
21
26136
a8eb9fd1ac21 Add missing header #includes to fix 'make checkheaders'.
diego
parents: 26029
diff changeset
22 #include <gtk/gtk.h>
a8eb9fd1ac21 Add missing header #includes to fix 'make checkheaders'.
diego
parents: 26029
diff changeset
23
23077
17bf4f4b0715 Gui --> gui
diego
parents:
diff changeset
24 extern GtkWidget * URL;
17bf4f4b0715 Gui --> gui
diego
parents:
diff changeset
25 extern int gtkVURLDialogBox;
17bf4f4b0715 Gui --> gui
diego
parents:
diff changeset
26
17bf4f4b0715 Gui --> gui
diego
parents:
diff changeset
27 extern void ShowURLDialogBox( void );
17bf4f4b0715 Gui --> gui
diego
parents:
diff changeset
28 extern GtkWidget * create_URL( void );
17bf4f4b0715 Gui --> gui
diego
parents:
diff changeset
29
26137
02a08fffb1dc Rename url.c/url.h to the less generic gtk_url.c/gtk_url.h.
diego
parents: 26136
diff changeset
30 #endif /* MPLAYER_GUI_GTK_URL_H */