diff options
| author | Matthias Melcher <git@matthiasm.com> | 2019-01-14 00:09:31 +0100 |
|---|---|---|
| committer | Matthias Melcher <git@matthiasm.com> | 2019-01-14 00:09:31 +0100 |
| commit | b71601fe7c959eb4a68967b1ff2bcf52c67b4d77 (patch) | |
| tree | 92ab7767b5a7cafc4b6558d086176d86d4bbf7b1 /fluid/alignment_panel.h | |
| parent | 3d6b234c274d1376a95d462f13dea69bd117953c (diff) | |
STR 3460: shell window remembers position
The Fluid window to display the execute shell command result
is now reopened where it was previously closed.
Diffstat (limited to 'fluid/alignment_panel.h')
| -rw-r--r-- | fluid/alignment_panel.h | 5 |
1 files changed, 2 insertions, 3 deletions
diff --git a/fluid/alignment_panel.h b/fluid/alignment_panel.h index c00a8d7a4..d38bb86ca 100644 --- a/fluid/alignment_panel.h +++ b/fluid/alignment_panel.h @@ -23,6 +23,7 @@ #include <FL/Fl.H> #include <FL/Fl_Text_Buffer.H> #include <FL/Fl_Text_Display.H> +#include <FL/Fl_Simple_Terminal.H> #include <FL/filename.H> extern void load_history(); extern void redraw_browser(); @@ -32,7 +33,6 @@ extern char G_external_editor_command[512]; extern int show_coredevmenus; extern struct Fl_Menu_Item *dbmanager_item; extern Fl_Preferences fluid_prefs; -extern Fl_Text_Buffer *shell_run_buffer; #include <FL/Fl_Double_Window.H> #include <FL/Fl_Preferences.H> #include <FL/Fl_Tooltip.H> @@ -87,8 +87,7 @@ extern Fl_Check_Button *shell_savefl_button; #include <FL/Fl_Return_Button.H> extern void do_shell_command(Fl_Return_Button*, void*); extern Fl_Double_Window *shell_run_window; -#include <FL/Fl_Text_Display.H> -extern Fl_Text_Display *shell_run_display; +extern Fl_Simple_Terminal *shell_run_terminal; extern Fl_Return_Button *shell_run_button; Fl_Double_Window* make_shell_window(); extern Fl_Double_Window *grid_window; |