Fix 'init_ui()' so that it can change argc/argv

That's what gtk_init() does with gtk-specific arguments.  IOW, if you do
things like

   subsurface --g-fatal-warnings dives.xml

to get a real abort on gtk warnings, gtk_init needs to be able to
actually change argc/argv.

Signed-off-by: Linus Torvalds <torvalds@linux-foundation.org>
This commit is contained in:
Linus Torvalds 2011-11-01 17:09:15 -07:00
parent 43601f6546
commit e4bfb65972
3 changed files with 4 additions and 4 deletions

View file

@ -739,7 +739,7 @@ static int get_from_registry(HKEY hkey, const char *key)
}
#endif
void init_ui(int argc, char **argv)
void init_ui(int *argcp, char ***argvp)
{
GtkWidget *win;
GtkWidget *notebook;
@ -755,7 +755,7 @@ void init_ui(int argc, char **argv)
"GTK_NOTEBOOK_TAB", GTK_TARGET_SAME_APP, 0
};
gtk_init(&argc, &argv);
gtk_init(argcp, argvp);
settings = gtk_settings_get_default();
gtk_settings_set_long_property(settings, "gtk_tooltip_timeout", 10, "subsurface setting");