Fix bug [ 1811188 ] save as PS/EPS crashes

diff --git a/src/extension/prefdialog.cpp b/src/extension/prefdialog.cpp
index 9ee9b08cd99a5d7c9036271b4847d6b8fec6555e..d9596986de0765bbc18a7c0c6746661698514c23 100644 (file)
--- a/src/extension/prefdialog.cpp
+++ b/src/extension/prefdialog.cpp
@@ -200,9 +200,14 @@ PrefDialog::pinned_toggle (void) {
 
 void
 PrefDialog::on_response (int signal) {
+    if (!_exEnv) {
+        // apparantly this effect does not use the new ExecutionEnv stuff. 
+        // _param_pinned  and _effect will be null, and the code below will crash: return here!
+        return;
+    }
     //printf("Got signal %d\n", signal);
     if (!_param_pinned->get_bool(NULL, NULL)) {
-        // Not my job if we're not pinned
+        // Not my job if we're not pinned (either not pinned, or not even a pinned checkbox)
         // It's the execution environment's job
         return;
     }