diff options
| author | Matthias Melcher <github@matthiasm.com> | 2024-08-31 19:08:12 +0200 |
|---|---|---|
| committer | Matthias Melcher <github@matthiasm.com> | 2024-08-31 19:08:18 +0200 |
| commit | c8b8eb4b840bc612f2f2160a8b2cc27f030c5785 (patch) | |
| tree | fe99195345f9732248ae3225a10d992d85c297f0 /fluid/documentation/src | |
| parent | 1da9438a1c29429c231d90167f996b3f840eb3e2 (diff) | |
FLUID: Fixes grouping and ungrouping, #1056
- grouping a bunch of widgets will now create the new
group in the expected place
- also add grouping and ungrouping of menu items
- ungrouping now also works with only a few items
selected instead all items, moving the selection before
the group
Diffstat (limited to 'fluid/documentation/src')
| -rw-r--r-- | fluid/documentation/src/page_main_window.dox | 7 |
1 files changed, 4 insertions, 3 deletions
diff --git a/fluid/documentation/src/page_main_window.dox b/fluid/documentation/src/page_main_window.dox index 4415b9544..1a9e4ea6f 100644 --- a/fluid/documentation/src/page_main_window.dox +++ b/fluid/documentation/src/page_main_window.dox @@ -257,10 +257,11 @@ __Edit > Later (F3)__: Move all of the selected widgets one later in order among the children of their parent (if possible). __Edit > Group (F7)__: Create a new Fl_Group and make all the currently -selected widgets children of it. +selected widgets children of that group. -__Edit > Ungroup (F8)__: Delete the parent group if all the children of a -group are selected. +__Edit > Ungroup (F8)__: Move the selected children of a group out of the +group and up one level in the hierarchy. If all children of a group are +selected and moved, the remaining empty group is deleted. __Edit > Show or Hide Overlays (Ctrl+Shift+O)__: Toggle the display of the red overlays off, without changing the selection. This makes it easier to see |