Safe Haskell | Safe-Infered |
---|
Splittable panes containing notebooks with any widgets
- removePaneAdmin :: RecoverablePane alpha beta delta => alpha -> delta ()
- addPaneAdmin :: RecoverablePane alpha beta delta => alpha -> Connections -> PanePath -> delta Bool
- notebookInsertOrdered :: PaneMonad alpha => (NotebookClass self, WidgetClass child) => self -> child -> String -> Maybe Label -> Bool -> alpha ()
- markLabel :: (WidgetClass alpha, NotebookClass beta) => beta -> alpha -> Bool -> IO ()
- posTypeToPaneDirection :: PositionType -> PaneDirection
- paneDirectionToPosType :: PaneDirection -> PositionType
- paneFromName :: PaneMonad alpha => PaneName -> alpha (IDEPane alpha)
- mbPaneFromName :: PaneMonad alpha => PaneName -> alpha (Maybe (IDEPane alpha))
- guiPropertiesFromName :: PaneMonad alpha => PaneName -> alpha (PanePath, Connections)
- viewMove :: PaneMonad beta => PaneDirection -> beta ()
- viewSplitHorizontal :: PaneMonad alpha => alpha ()
- viewSplitVertical :: PaneMonad alpha => alpha ()
- viewSplit' :: PaneMonad alpha => PanePath -> Direction -> alpha ()
- viewNewGroup :: PaneMonad alpha => alpha ()
- newGroupOrBringToFront :: PaneMonad alpha => String -> PanePath -> alpha (Maybe PanePath, Bool)
- bringGroupToFront :: PaneMonad alpha => String -> alpha (Maybe PanePath)
- viewNest :: PaneMonad alpha => String -> alpha ()
- viewNest' :: PaneMonad alpha => PanePath -> String -> alpha ()
- viewDetach :: PaneMonad alpha => alpha (Maybe (Window, Widget))
- viewDetach' :: PaneMonad alpha => PanePath -> String -> alpha (Maybe (Window, Widget))
- handleNotebookSwitch :: PaneMonad beta => Notebook -> Int -> beta ()
- viewCollapse :: PaneMonad alpha => alpha ()
- viewCollapse' :: PaneMonad alpha => PanePath -> alpha ()
- viewTabsPos :: PaneMonad alpha => PositionType -> alpha ()
- viewSwitchTabs :: PaneMonad alpha => alpha ()
- closeGroup :: PaneMonad alpha => String -> alpha ()
- allGroupNames :: PaneLayout -> Set String
- getBestPanePath :: StandardPath -> PaneLayout -> PanePath
- getBestPathForId :: PaneMonad alpha => String -> alpha PanePath
- getActivePanePath :: PaneMonad alpha => alpha (Maybe PanePath)
- getActivePanePathOrStandard :: PaneMonad alpha => StandardPath -> alpha PanePath
- figureOutPaneName :: PaneMonad alpha => String -> Int -> alpha (Int, String)
- getNotebook :: PaneMonad alpha => PanePath -> alpha Notebook
- getPaned :: PaneMonad alpha => PanePath -> alpha Paned
- getActiveNotebook :: PaneMonad alpha => alpha (Maybe Notebook)
- getActivePane :: PaneMonad delta => delta (Maybe (PaneName, Connections))
- setActivePane :: PaneMonad delta => Maybe (PaneName, Connections) -> delta ()
- getUiManager :: PaneMonad delta => delta UIManager
- getWindows :: PaneMonad delta => delta [Window]
- getMainWindow :: PaneMonad m => m Window
- getLayout :: PaneMonad delta => delta PaneLayout
- getPanesSt :: PaneMonad delta => delta (Map PaneName (IDEPane delta))
- getPaneMapSt :: PaneMonad delta => delta (Map PaneName (PanePath, Connections))
- getPanePrim :: RecoverablePane alpha beta delta => delta (Maybe alpha)
- getPanes :: RecoverablePane alpha beta delta => delta [alpha]
- bringPaneToFront :: RecoverablePane alpha beta delta => alpha -> IO ()
- newNotebook :: PaneMonad alpha => PanePath -> alpha Notebook
- newNotebook' :: IO Notebook
- getUIAction :: PaneMonad alpha => String -> (Action -> a) -> alpha a
- widgetGet :: PaneMonad alpha => [String] -> (Widget -> b) -> alpha b
- initGtkRc :: IO ()
Documentation
removePaneAdmin :: RecoverablePane alpha beta delta => alpha -> delta ()Source
addPaneAdmin :: RecoverablePane alpha beta delta => alpha -> Connections -> PanePath -> delta BoolSource
notebookInsertOrdered :: PaneMonad alpha => (NotebookClass self, WidgetClass child) => self -> child -> String -> Maybe Label -> Bool -> alpha ()Source
markLabel :: (WidgetClass alpha, NotebookClass beta) => beta -> alpha -> Bool -> IO ()Source
Add the change mark or removes it
Convenience methods for accesing Pane state
paneFromName :: PaneMonad alpha => PaneName -> alpha (IDEPane alpha)Source
guiPropertiesFromName :: PaneMonad alpha => PaneName -> alpha (PanePath, Connections)Source
View Actions
viewMove :: PaneMonad beta => PaneDirection -> beta ()Source
Moves the activePane in the given direction, if possible | If their are many possibilities choose the leftmost and topmost
viewSplitHorizontal :: PaneMonad alpha => alpha ()Source
Split the currently active pane in horizontal direction
viewSplitVertical :: PaneMonad alpha => alpha ()Source
Split the currently active pane in vertical direction
viewNewGroup :: PaneMonad alpha => alpha ()Source
newGroupOrBringToFront :: PaneMonad alpha => String -> PanePath -> alpha (Maybe PanePath, Bool)Source
viewCollapse :: PaneMonad alpha => alpha ()Source
Two notebooks can be collapsed to one
viewCollapse' :: PaneMonad alpha => PanePath -> alpha ()Source
viewTabsPos :: PaneMonad alpha => PositionType -> alpha ()Source
Sets the tab position in the current notebook
viewSwitchTabs :: PaneMonad alpha => alpha ()Source
Toggle the tabs of the current notebook
closeGroup :: PaneMonad alpha => String -> alpha ()Source
View Queries
getBestPanePath :: StandardPath -> PaneLayout -> PanePathSource
Get a valid panePath from a standard path.
getBestPathForId :: PaneMonad alpha => String -> alpha PanePathSource
Get a standard path.
getActivePanePath :: PaneMonad alpha => alpha (Maybe PanePath)Source
Get the path to the active pane
getActivePanePathOrStandard :: PaneMonad alpha => StandardPath -> alpha PanePathSource
figureOutPaneName :: PaneMonad alpha => String -> Int -> alpha (Int, String)Source
Constructs a unique pane name, which is an index and a string
getNotebook :: PaneMonad alpha => PanePath -> alpha NotebookSource
Get the notebook widget for the given pane path
getPaned :: PaneMonad alpha => PanePath -> alpha PanedSource
Get the (gtk) Paned widget for a given path
getActiveNotebook :: PaneMonad alpha => alpha (Maybe Notebook)Source
Get the active notebook
getActivePane :: PaneMonad delta => delta (Maybe (PaneName, Connections))Source
setActivePane :: PaneMonad delta => Maybe (PaneName, Connections) -> delta ()Source
getUiManager :: PaneMonad delta => delta UIManagerSource
getWindows :: PaneMonad delta => delta [Window]Source
getMainWindow :: PaneMonad m => m WindowSource
getLayout :: PaneMonad delta => delta PaneLayoutSource
getPaneMapSt :: PaneMonad delta => delta (Map PaneName (PanePath, Connections))Source
getPanePrim :: RecoverablePane alpha beta delta => delta (Maybe alpha)Source
getPanes :: RecoverablePane alpha beta delta => delta [alpha]Source
View Actions
bringPaneToFront :: RecoverablePane alpha beta delta => alpha -> IO ()Source
Bring the pane to the front position in its notebook
newNotebook :: PaneMonad alpha => PanePath -> alpha NotebookSource
Construct a new notebook,
newNotebook' :: IO NotebookSource
Construct a new notebook
Accessing GUI elements
getUIAction :: PaneMonad alpha => String -> (Action -> a) -> alpha aSource