Name

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.

Synopsis

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 ()

Methods

panedAdd1

Add a widget to the first (top or left) area.

panedAdd1:: p:: w:: IO ()
pw

The widget does not expand if Paned expands. It does not shrink either.

panedAdd2

Add a widget to the second (bottom or right) area.

panedAdd2:: p:: w:: IO ()
pw

The widget does not expand if Paned expands. But it does shrink.

panedGetPosition

Get the gutter position (in pixels).

panedGetPosition:: p:: IO Int
p

panedPack1

Add a widget to the first area and specify its resizing behaviour.

panedPack1:: p:: w:: Bool:: Bool:: IO ()
pwexpandshrink

panedPack2

Add a widget to the second area and specify its resizing behaviour.

panedPack2:: p:: w:: Bool:: Bool:: IO ()
pwexpandshrink

panedSetPosition

Set the gutter to the specified position (in pixels).

panedSetPosition:: p:: Int:: IO ()
pposition