diff options
| author | Matthias Melcher <github@matthiasm.com> | 2023-09-26 15:01:03 +0100 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2023-09-26 16:01:03 +0200 |
| commit | 71b8e77935bc9b0a3afc97d322037f2549165d2f (patch) | |
| tree | a7e5e0cfec35b0ab30d6369d7b9ecd9eb3ddd48b /fluid/Fl_Type.cxx | |
| parent | 2bbdd4946561444fffba2bf047b0926a2cf9f5fe (diff) | |
FLUID: adds greatly enhanced Shell Commands (#774)
The user can add an arbitrary number of highly configurable
shell commands through the setting panel. The commands can
be saved as user preferences, inside the .fl file, or exported
to an external file. Shell scripts can be limited to individual
platforms, can have shortcut keys, etc. .
* documentation will follow
* support to call `fltk-config` will follow
Diffstat (limited to 'fluid/Fl_Type.cxx')
| -rw-r--r-- | fluid/Fl_Type.cxx | 9 |
1 files changed, 7 insertions, 2 deletions
diff --git a/fluid/Fl_Type.cxx b/fluid/Fl_Type.cxx index d98db5883..379c4cb90 100644 --- a/fluid/Fl_Type.cxx +++ b/fluid/Fl_Type.cxx @@ -252,11 +252,16 @@ void delete_all(int selected_only) { } if(!selected_only) { // reset the setting for the external shell command - shell_prefs_get(); - shell_settings_write(); + if (g_shell_config) { + g_shell_config->clear(FD_STORE_PROJECT); + g_shell_config->rebuild_shell_menu(); + g_shell_config->update_settings_dialog(); + } widget_browser->hposition(0); widget_browser->vposition(0); g_layout_list.remove_all(FD_STORE_PROJECT); + g_layout_list.current_suite(0); + g_layout_list.current_preset(0); g_layout_list.update_dialogs(); } selection_changed(0); |