Manatee.UI.WindowNode
- zoomDefaultSize :: Int
- windowNodeNew :: Maybe WindowNode -> WindowNodeType -> WindowNodeDirection -> WindowNodeArgs -> IO (WindowNode, WindowNodeList)
- windowNodeNewInternal :: WindowNodeAttr -> WindowNodeArgs -> IO (WindowNode, WindowNodeList)
- windowNodeRemove :: WindowNode -> WindowNodeArgs -> Bool -> IO WindowNodeList
- windowNodeRemoveOthers :: WindowNode -> WindowNodeArgs -> IO WindowNodeList
- windowNodeGetParentNode :: WindowNode -> WindowNodeList -> IO (Maybe WindowNode)
- windowNodeGetSplitContainer :: WindowNode -> WindowNodeDirection -> WindowNodeArgs -> IO (WindowNode, WindowNodeList)
- windowNodeChangeToRoot :: WindowNode -> WindowNodeArgs -> IO ()
- windowNodeConnectToParent :: WindowNode -> WindowNodeArgs -> IO ()
- windowNodeConnectToRootContainer :: ContainerClass container => WindowNode -> container -> IO ()
- windowNodeConnectToParentNodeLeft :: WindowNode -> WindowNodeList -> IO ()
- windowNodeConnectToParentNodeRight :: WindowNode -> WindowNodeList -> IO ()
- windowNodePanedNew :: WindowNodeDirection -> IO Paned
- windowNodePanedRemove :: WindowNode -> WindowNodeArgs -> IO ()
- windowNodeIsHaveChildNode :: WindowNode -> IO Bool
- windowNodeRemoveFromParentNode :: WindowNode -> WindowNode -> IO ()
- windowNodeGetType :: WindowNode -> IO WindowNodeType
- windowNodeGetParentId :: WindowNode -> IO (Maybe WindowNodeId)
- windowNodeGetChildLeftId :: WindowNode -> IO (Maybe WindowNodeId)
- windowNodeGetChildRightId :: WindowNode -> IO (Maybe WindowNodeId)
- windowNodeSetSizeRequest :: WindowNode -> WindowNodeList -> (Int, Int) -> IO ()
- windowNodeGetSplitTimes :: WindowNode -> WindowNodeList -> (Int, Int) -> IO (Int, Int)
- windowNodeShow :: WindowNode -> IO ()
- windowNodeListNew :: WindowNodeList
- windowNodeListGetNode :: WindowNodeList -> WindowNodeId -> Maybe WindowNode
- windowNodeListShow :: WindowNodeList -> IO ()
- windowNodeGetZoomDirection :: WindowNode -> WindowNode -> IO ZoomDirection
- windowNodeGetMatchZoomDirectionSize :: ZoomDirection -> Bool -> (ZoomDirection, Int)
- windowNodeZoom :: WindowNodeList -> WindowNode -> ZoomDirection -> Bool -> IO ()
Documentation
The default zoom size.
windowNodeNew :: Maybe WindowNode -> WindowNodeType -> WindowNodeDirection -> WindowNodeArgs -> IO (WindowNode, WindowNodeList)Source
Create new window node.
windowNodeNewInternal :: WindowNodeAttr -> WindowNodeArgs -> IO (WindowNode, WindowNodeList)Source
Internal function for create window node.
windowNodeRemove :: WindowNode -> WindowNodeArgs -> Bool -> IO WindowNodeListSource
Remove window node.
windowNodeRemoveOthers :: WindowNode -> WindowNodeArgs -> IO WindowNodeListSource
Remove others window nodes except current window node.
windowNodeGetParentNode :: WindowNode -> WindowNodeList -> IO (Maybe WindowNode)Source
Get parent node of current node.
windowNodeGetSplitContainer :: WindowNode -> WindowNodeDirection -> WindowNodeArgs -> IO (WindowNode, WindowNodeList)Source
Get split container for child window node.
windowNodeChangeToRoot :: WindowNode -> WindowNodeArgs -> IO ()Source
Change window node to root node.
windowNodeConnectToParent :: WindowNode -> WindowNodeArgs -> IO ()Source
Add window node paned to parent container.
windowNodeConnectToRootContainer :: ContainerClass container => WindowNode -> container -> IO ()Source
Add window node to root container.
windowNodeConnectToParentNodeLeft :: WindowNode -> WindowNodeList -> IO ()Source
Add window node to parent node.
windowNodeConnectToParentNodeRight :: WindowNode -> WindowNodeList -> IO ()Source
Add window node to parent node right.
windowNodePanedNew :: WindowNodeDirection -> IO PanedSource
Get window node paned with indicate split direction.
windowNodePanedRemove :: WindowNode -> WindowNodeArgs -> IO ()Source
Remove node paned from parent container.
windowNodeIsHaveChildNode :: WindowNode -> IO BoolSource
Is haven't any child node.
windowNodeRemoveFromParentNode :: WindowNode -> WindowNode -> IO ()Source
Remove from parent node.
windowNodeGetType :: WindowNode -> IO WindowNodeTypeSource
Get type.
windowNodeGetParentId :: WindowNode -> IO (Maybe WindowNodeId)Source
Get parent id.
windowNodeGetChildLeftId :: WindowNode -> IO (Maybe WindowNodeId)Source
Get child left id.
windowNodeGetChildRightId :: WindowNode -> IO (Maybe WindowNodeId)Source
Get child right id
windowNodeSetSizeRequest :: WindowNode -> WindowNodeList -> (Int, Int) -> IO ()Source
Request node size.
If vertical split times is vn, the request height is `height / (2 ^ vn)`.
If horizontal split times is hn, the request width is `width / (2 ^ hn)`.
windowNodeGetSplitTimes :: WindowNode -> WindowNodeList -> (Int, Int) -> IO (Int, Int)Source
Get split times of current window node.
windowNodeShow :: WindowNode -> IO ()Source
Show window node.
windowNodeListNew :: WindowNodeListSource
New window node.
windowNodeListGetNode :: WindowNodeList -> WindowNodeId -> Maybe WindowNodeSource
Get window node with given id.
windowNodeListShow :: WindowNodeList -> IO ()Source
Show window node list.
windowNodeGetZoomDirection :: WindowNode -> WindowNode -> IO ZoomDirectionSource
Get zoom direction of window node.
windowNodeGetMatchZoomDirectionSize :: ZoomDirection -> Bool -> (ZoomDirection, Int)Source
Get match zoom direction.
windowNodeZoom :: WindowNodeList -> WindowNode -> ZoomDirection -> Bool -> IO ()Source
Zoom window.