Compile fix for GTK 3.18: avoid gtk_adjustment_changed().

[PuTTY.git] / unix / gtkapp.c

diff --git a/unix/gtkapp.c b/unix/gtkapp.c
index 46b3873327568624f3eeba0cdd09e6291e019319..249be2d39269fea334b2743c1835c76854462455 100644 (file)
--- a/unix/gtkapp.c
+++ b/unix/gtkapp.c
@@ -192,7 +192,8 @@ extern int cfgbox(Conf *conf);
 
 void launch_duplicate_session(Conf *conf)
 {
-    assert(conf_launchable(conf));
+    extern const int dup_check_launchable;
+    assert(!dup_check_launchable || conf_launchable(conf));
     new_session_window(conf, NULL);
 }