diff options
| author | Matthias Melcher <github@matthiasm.com> | 2023-07-11 14:27:02 +0200 |
|---|---|---|
| committer | Matthias Melcher <github@matthiasm.com> | 2023-07-11 14:27:58 +0200 |
| commit | 71088b7fe2e7fb431f18c47e3e823a0bb8e5da52 (patch) | |
| tree | 3592e75e79c233b9518b6397c381cc3d6b1717fc /fluid/alignment_panel.fl | |
| parent | 676bad861ae6ff8854d58ca776168391ff53c016 (diff) | |
FLUID mark project change when changing window visibility
Diffstat (limited to 'fluid/alignment_panel.fl')
| -rw-r--r-- | fluid/alignment_panel.fl | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/fluid/alignment_panel.fl b/fluid/alignment_panel.fl index 6bfd966bf..0e99515a5 100644 --- a/fluid/alignment_panel.fl +++ b/fluid/alignment_panel.fl @@ -107,7 +107,7 @@ decl {void scheme_cb(Fl_Scheme_Choice *, void *);} {public local Function {make_settings_window()} {open } { Fl_Window settings_window { - label {GUI Settings} open + label {GUI Settings} open selected xywh {617 332 340 580} type Double align 80 resizable code0 {o->size_range(o->w(), o->h());} non_modal visible } { @@ -198,7 +198,7 @@ redraw_browser();} callback {strncpy(G_external_editor_command, editor_command_input->value(), sizeof(G_external_editor_command)-1); G_external_editor_command[sizeof(G_external_editor_command)-1] = 0; fluid_prefs.set("external_editor_command", G_external_editor_command); -redraw_browser();} selected +redraw_browser();} tooltip {The editor command to open your external text editor. Include any necessary flags to ensure your editor does not background itself. Examples: |