mirror of
https://github.com/subsurface/subsurface.git
synced 2024-12-01 06:30:26 +00:00
Fix preferences dialog
Dirk took some old code when he did the merge of the newly split gui code. Fix it up. Signed-off-by: Linus Torvalds <torvalds@linux-foundation.org>
This commit is contained in:
parent
682135838f
commit
0bf2cfa66d
1 changed files with 2 additions and 2 deletions
|
@ -155,14 +155,14 @@ static void quit(GtkWidget *w, gpointer data)
|
||||||
gtk_main_quit();
|
gtk_main_quit();
|
||||||
}
|
}
|
||||||
|
|
||||||
static void create_radio(GtkWidget *dialog, const char *name, ...)
|
static void create_radio(GtkWidget *vbox, const char *name, ...)
|
||||||
{
|
{
|
||||||
va_list args;
|
va_list args;
|
||||||
GtkRadioButton *group = NULL;
|
GtkRadioButton *group = NULL;
|
||||||
GtkWidget *box, *label;
|
GtkWidget *box, *label;
|
||||||
|
|
||||||
box = gtk_hbox_new(TRUE, 10);
|
box = gtk_hbox_new(TRUE, 10);
|
||||||
gtk_container_add(GTK_CONTAINER(GTK_DIALOG(dialog)->vbox), box);
|
gtk_box_pack_start(GTK_BOX(vbox), box, FALSE, FALSE, 0);
|
||||||
|
|
||||||
label = gtk_label_new(name);
|
label = gtk_label_new(name);
|
||||||
gtk_box_pack_start(GTK_BOX(box), label, TRUE, TRUE, 0);
|
gtk_box_pack_start(GTK_BOX(box), label, TRUE, TRUE, 0);
|
||||||
|
|
Loading…
Reference in a new issue