return err;
}
+GtkWidget *make_gtk_toplevel_window(void *frontend)
+{
+ return gtk_window_new(GTK_WINDOW_TOPLEVEL);
+}
+
extern int cfgbox(Conf *conf);
-int pt_main(int argc, char **argv)
+int main(int argc, char **argv)
{
Conf *conf;
int need_config_box;
setlocale(LC_CTYPE, "");
+ {
+ /* Call the function in ux{putty,pterm}.c to do app-type
+ * specific setup */
+ extern void setup(int);
+ setup(TRUE); /* TRUE means we are a one-session process */
+ }
+
progname = argv[0];
/*
block_signal(SIGPIPE, 1);
if (argc > 1 && !strncmp(argv[1], "---", 3)) {
+ extern const int dup_check_launchable;
+
read_dupsession_data(conf, argv[1]);
/* Splatter this argument so it doesn't clutter a ps listing */
smemclr(argv[1], strlen(argv[1]));
- assert(conf_launchable(conf));
+ assert(!dup_check_launchable || conf_launchable(conf));
need_config_box = FALSE;
} else {
/* By default, we bring up the config dialog, rather than launching