Paned —
This abstract widget provides a division line with a handle that can be used by the user to divide the given space between two widgets. The two concrete implementations are HPaned and VPaned.
panedAdd1:: (PanedClass p, WidgetClass w) => p -> w -> IO () |
panedAdd2:: (PanedClass p, WidgetClass w) => p -> w -> IO () |
panedGetPosition:: PanedClass p => p -> IO Int |
panedPack1:: (PanedClass p, WidgetClass w) => p -> w -> Bool -> Bool -> IO () |
panedPack2:: (PanedClass p, WidgetClass w) => p -> w -> Bool -> Bool -> IO () |
panedSetPosition:: PanedClass p => p -> Int -> IO () |
Add a widget to the first (top or left) area.
| panedAdd1 | :: p | :: w | :: IO () |
| p | w |
The widget does not expand if Paned expands. It does not shrink either.
Add a widget to the second (bottom or right) area.
| panedAdd2 | :: p | :: w | :: IO () |
| p | w |
The widget does not expand if Paned expands. But it does shrink.
Add a widget to the first area and specify its resizing behaviour.
| panedPack1 | :: p | :: w | :: Bool | :: Bool | :: IO () |
| p | w | expand | shrink |