Docking terms

omar 2019-12-09 20:28:48 +01:00
parent c80e81e6a1
commit 48bd6e869e

@ -36,16 +36,16 @@
**Docking** (noun): refer to the Docking subsystem as a whole. **Docking** (noun): refer to the Docking subsystem as a whole.
**Docking** (verb): refer to the action of merging one Window or Dock Node into another Window or Dock Node. **Docking** (verb): refer to the action of combining one Window or Dock Node into another Window or Dock Node. A docking operation can be a "Split" (split the target window/node into two sections) or an "Merge" (add into the existing target window/node).
**Docking Decorations**: Tab Bar and Close Buttons (when managed by a dock node), Resizing Separators. **Docking Decorations**: Tab Bar and Close Buttons (when managed by a dock node), Resizing Separators.
**Dock Node**: carry a Tab Bar + zero or more Windows _or_ child dock nodes. A Dock Node can be either Floating Dock Node or a Dockspace. **Dock Node**: carry a Tab Bar + zero or more Windows _or_ child dock nodes. A Dock Node can be either Floating Dock Node or a Dockspace.
**Dockspace**: a dock node whose Host Window has been created by the user. This imply that the position and size of the dock node is not controlled by the Docking system. This also imply that the lifetime of the dock node is not controlled by the Docking system.
**Dock Node Hierarchy**: a dock node and all its child dock nodes. **Dock Node Hierarchy**: a dock node and all its child dock nodes.
**Dockspace**: a dock node whose Host Window has been created by the user. This imply that the position and size of the dock node is not controlled by the Docking system. This also imply that the lifetime of the dock node is not controlled by the Docking system.
**Floating Dock Node**: a dock node whose Host Window is automatically created and managed by the Docking system. They are generally freely moveable. **Floating Dock Node**: a dock node whose Host Window is automatically created and managed by the Docking system. They are generally freely moveable.
**Root Dock Node**: a dock node that has no parent dock node. **Root Dock Node**: a dock node that has no parent dock node.