Function
MkPanedWindow
The PanedWindow widget allows the user to interactively manipulate the sizes of several panes. The panes can be arranged either vertically or horizontally.
(w)
Source from the content-addressed store, hash-verified
source not stored for this graph (policy: none)
Tested by
no test coverage detected