diff options
| author | Matthias Melcher <github@matthiasm.com> | 2023-11-02 15:18:03 +0100 |
|---|---|---|
| committer | Matthias Melcher <github@matthiasm.com> | 2023-11-02 15:18:09 +0100 |
| commit | 9ca4aed1fa13df227ddebe4fed4353d9156ab414 (patch) | |
| tree | 1dd01a98891b7941126f6ad377b436f21bbf5da9 /fluid/alignment_panel.fl | |
| parent | 040607b59574f39d92d3cc03dd10e347790869d3 (diff) | |
FLUID: Adds more interactive editing to Fl_Grid
* this commit introduces a few FIXMEs and TODOs that probably
can't be solved until we do some major refactoring. They work for
now, but adding more layout controlling widgets will be hard.
Diffstat (limited to 'fluid/alignment_panel.fl')
| -rw-r--r-- | fluid/alignment_panel.fl | 5 |
1 files changed, 2 insertions, 3 deletions
diff --git a/fluid/alignment_panel.fl b/fluid/alignment_panel.fl index 499df07c1..3ddf7b4fb 100644 --- a/fluid/alignment_panel.fl +++ b/fluid/alignment_panel.fl @@ -110,7 +110,7 @@ decl {void scheme_cb(Fl_Scheme_Choice *, void *);} {public local decl {int w_settings_shell_list_selected;} {public local } -Function {make_script_panel()} {open +Function {make_script_panel()} {open selected } { Fl_Window script_panel { label {Shell Script Editor} @@ -142,8 +142,7 @@ script_panel->hide(); // otherwise hide..} open } code {// Enable line numbers script_input->linenumber_width(60); -script_input->linenumber_size(script_input->Fl_Text_Display::textsize());} {selected - } +script_input->linenumber_size(script_input->Fl_Text_Display::textsize());} {} } Function {make_settings_window()} {open |