Docking: Added ImGuiDockNodeFlags_NoOuterBorder, tweaked DockSpace demo to remove window border. Made docking splitter use the same standard setting as resizing from edges. (#2109)
// Extend hovering range past the displayed border
// FIXME-DOCKING: This is not working as expected.
floatHOVER_EXTEND=4.0f;
// Use a short delay before highlighting the splitter (and changing the mouse cursor) in order for regular mouse movement to not highlight many splitters
floatHOVER_VISIBILITY_DELAY=0.040f;
// Bounding box of the splitter cover the space between both nodes (w = Spacing, h = Size[xy^1] for when splitting horizontally)
// Use a short delay before highlighting the splitter (and changing the mouse cursor) in order for regular mouse movement to not highlight many splitters
ImGuiDockNodeFlags_KeepAliveOnly=1<<0,// Don't display the dockspace node but keep it alive. Windows docked into this dockspace node won't be undocked.
ImGuiDockNodeFlags_NoSplit=1<<1,// Disable splitting the node into smaller nodes. Useful e.g. when embedding dockspaces into a main root one (the root one may have splitting disabled to reduce confusion)
ImGuiDockNodeFlags_NoDockingInsideCentralNode=1<<2// Disable docking inside the central node (which can stay empty). Useful if it is kept empty and invisible.
ImGuiDockNodeFlags_NoOuterBorder=1<<2,// Disable outer border on a DockSpace() node.
ImGuiDockNodeFlags_NoDockingInsideCentralNode=1<<3// Disable docking inside the central node (which can stay empty). Useful if it is kept empty and invisible.