From 33d071875623dc90e8da00d0491f97bc2558c861 Mon Sep 17 00:00:00 2001 From: Matthias Melcher Date: Thu, 14 Dec 2023 19:40:29 +0100 Subject: FLUID: option to show terminal, clear terminal, and clear history --- fluid/shell_command.h | 4 +++- 1 file changed, 3 insertions(+), 1 deletion(-) (limited to 'fluid/shell_command.h') diff --git a/fluid/shell_command.h b/fluid/shell_command.h index 353874dfd..660c398de 100644 --- a/fluid/shell_command.h +++ b/fluid/shell_command.h @@ -42,6 +42,7 @@ class Fl_Preferences; char preferences_get(Fl_Preferences &prefs, const char *key, Fl_String &value, const Fl_String &defaultValue); char preferences_set(Fl_Preferences &prefs, const char *key, const Fl_String &value); +void show_terminal_window(); void run_shell_command(const Fl_String &cmd, int flags); bool shell_command_running(void); @@ -79,7 +80,8 @@ protected: class Fd_Shell_Command { public: enum { ALWAYS, NEVER, MAC_ONLY, UX_ONLY, WIN_ONLY, MAC_AND_UX_ONLY, USER_ONLY, HOST_ONLY, ENV_ONLY }; // conditions - enum { SAVE_PROJECT = 1, SAVE_SOURCECODE = 2, SAVE_STRINGS = 4, SAVE_ALL = 7 }; // flags + enum { SAVE_PROJECT = 1, SAVE_SOURCECODE = 2, SAVE_STRINGS = 4, SAVE_ALL = 7, + DONT_SHOW_TERMINAL = 8, CLEAR_TERMINAL = 16, CLEAR_HISTORY = 32 }; // flags Fd_Shell_Command(); Fd_Shell_Command(const Fd_Shell_Command *rhs); Fd_Shell_Command(const Fl_String &in_name); -- cgit v1.2.3