Fluid STR 3460.D: Shell commands are now saved in the .fl file (user option)

The shell properties toolbox is completely redesigned:

This dialog box offers a field for a command line and three check buttons
 to generate and save various files before the command is run.

 If the fourth checkbox, "use settings in .fl design files" is checked,
 all shell settings will be store in the current .fl file, and they will
 be read and restored when the .fl is loaded again.

 Fluid will save different shell settings for different operating system as
 it is common that a different OS requires a different shell command.

 Fluid comes with default shell settings. Pressing the "save as default" button
 will store the current setting in the Fluid app settings and are used for new
 designs, or if the "use settings..." box is not checked.

 Fluid app settings are saved per user and per machine.

1 files changed, 4 insertions, 1 deletions

diff --git a/fluid/Fl_Type.cxx b/fluid/Fl_Type.cxx
index cda6b7601..ad89d3bf2 100644
--- a/fluid/Fl_Type.cxx
+++ b/fluid/Fl_Type.cxx
@@ -39,6 +39,7 @@ copied or otherwise examined.
 #include "code.h"
 #include "undo.h"
 #include "pixmaps.h"
+#include "shell_command.h"
 
 #include <FL/Fl.H>
 #include <FL/Fl_Browser_.H>
@@ -167,8 +168,10 @@ void delete_all(int selected_only) {
   if(!selected_only) {
     include_H_from_C=1;
     use_FL_COMMAND=0;
+    // reset the setting for the external shell command
+    shell_prefs_get();
+    shell_settings_write();
   }
-
   selection_changed(0);
 }