- newTab :: PageType -> PagePath -> Environment -> IO ()
- newTabInternal :: PageType -> PagePath -> Environment -> IO ()
- tabMoveToLeftWithNextWindow :: Environment -> IO ()
- tabMoveToRightWithNextWindow :: Environment -> IO ()
- tabMoveToBeginWithNextWindow :: Environment -> IO ()
- tabMoveToEndWithNextWindow :: Environment -> IO ()
- tabMoveToLeft :: (Window, Environment) -> IO ()
- tabMoveToRight :: (Window, Environment) -> IO ()
- tabMoveToBegin :: (Window, Environment) -> IO ()
- tabMoveToEnd :: (Window, Environment) -> IO ()
- tabMove :: Environment -> PageModeName -> Int -> Int -> IO ()
- tabSelectNext :: Window -> IO ()
- tabSelectPrev :: Window -> IO ()
- tabSelectFirst :: Window -> IO ()
- tabSelectLast :: Window -> IO ()
- tabSelectNextWithNextWindow :: Environment -> IO ()
- tabSelectPrevWithNextWindow :: Environment -> IO ()
- tabSelectFirstWithNextWindow :: Environment -> IO ()
- tabSelectLastWithNextWindow :: Environment -> IO ()
- tabClose :: Environment -> PageId -> IO ()
- pushCloseTab :: Environment -> PageModeName -> PageId -> IO ()
- tabUndoCloseGlobal :: Environment -> IO ()
- tabUndoCloseLocal :: Environment -> IO ()
- tabUpdateOutput :: TVar Tabbar -> PagePlugId -> String -> IO ()
- tabUpdateStatus :: TVar Tabbar -> PagePlugId -> String -> String -> IO ()
- tabUpdateProgress :: TVar Tabbar -> PagePlugId -> Double -> IO ()
- tabGetCurrentPageId :: Environment -> IO (Maybe PageId)
- tabCloseCurrent :: Environment -> IO ()
- tabCloseOthers :: Environment -> IO ()
- tabForwardGroup :: (Window, Environment) -> IO ()
- tabBackwardGroup :: (Window, Environment) -> IO ()
- tabForwardGroupWithNextWindow :: Environment -> IO ()
- tabBackwardGroupWithNextWindow :: Environment -> IO ()
- tabBackwardGroupWithWindow :: Environment -> Window -> IO ()
- tabForwardGroupWithWindow :: Environment -> Window -> IO ()
- tabSwitchGroupCurrentWindow :: Environment -> PageModeName -> IO ()
- tabSwitchGroupWithWindow :: Environment -> Window -> PageModeName -> IO ()
- windowRemoveTab :: Environment -> PageModeName -> Int -> Maybe PageModeName -> IO ()
- windowSwapTab :: Environment -> PageModeName -> Int -> Int -> IO ()
Documentation
newTab :: PageType -> PagePath -> Environment -> IO ()Source
New tab. If tab has created, switch to tab. Otherwise create tab.
newTabInternal :: PageType -> PagePath -> Environment -> IO ()Source
New path.
tabMoveToLeftWithNextWindow :: Environment -> IO ()Source
Move tab to left in next window.
tabMoveToRightWithNextWindow :: Environment -> IO ()Source
Move tab to right in next window.
tabMoveToBeginWithNextWindow :: Environment -> IO ()Source
Move tab to begin in next window.
tabMoveToEndWithNextWindow :: Environment -> IO ()Source
Move tab to end in next window.
tabMoveToLeft :: (Window, Environment) -> IO ()Source
Move tab to left.
tabMoveToRight :: (Window, Environment) -> IO ()Source
Move tab to right.
tabMoveToBegin :: (Window, Environment) -> IO ()Source
Move tab to first.
tabMoveToEnd :: (Window, Environment) -> IO ()Source
Move tab to end.
tabMove :: Environment -> PageModeName -> Int -> Int -> IO ()Source
Move tab.
tabSelectNext :: Window -> IO ()Source
Select next tab.
tabSelectPrev :: Window -> IO ()Source
Select prev tab.
tabSelectFirst :: Window -> IO ()Source
Select first tab.
tabSelectLast :: Window -> IO ()Source
Select last tab.
tabSelectNextWithNextWindow :: Environment -> IO ()Source
Select next tab in other window.
tabSelectPrevWithNextWindow :: Environment -> IO ()Source
Select previous tab in other window.
tabSelectFirstWithNextWindow :: Environment -> IO ()Source
Select first tab in other window.
tabSelectLastWithNextWindow :: Environment -> IO ()Source
Select last tab in other window.
pushCloseTab :: Environment -> PageModeName -> PageId -> IO ()Source
Push to tab close history.
tabUndoCloseGlobal :: Environment -> IO ()Source
Undo close tab.
tabUndoCloseLocal :: Environment -> IO ()Source
Undo close tab that same mode as current mode.
tabUpdateOutput :: TVar Tabbar -> PagePlugId -> String -> IO ()Source
Update output message.
tabUpdateStatus :: TVar Tabbar -> PagePlugId -> String -> String -> IO ()Source
Update status message.
tabUpdateProgress :: TVar Tabbar -> PagePlugId -> Double -> IO ()Source
Update progress.
tabGetCurrentPageId :: Environment -> IO (Maybe PageId)Source
Get current page id.
tabCloseCurrent :: Environment -> IO ()Source
Close current tab.
tabCloseOthers :: Environment -> IO ()Source
Close all tabs except current one.
tabForwardGroup :: (Window, Environment) -> IO ()Source
Switch to next mode.
tabBackwardGroup :: (Window, Environment) -> IO ()Source
Switch to previous mode.
tabForwardGroupWithNextWindow :: Environment -> IO ()Source
Switch to next mode with next window.
tabBackwardGroupWithNextWindow :: Environment -> IO ()Source
Switch to next mode with next window.
tabBackwardGroupWithWindow :: Environment -> Window -> IO ()Source
Switch to next mode with window.
tabForwardGroupWithWindow :: Environment -> Window -> IO ()Source
Switch to next mode with window.
tabSwitchGroupCurrentWindow :: Environment -> PageModeName -> IO ()Source
Switch mode.
tabSwitchGroupWithWindow :: Environment -> Window -> PageModeName -> IO ()Source
Switch mode with window.
windowRemoveTab :: Environment -> PageModeName -> Int -> Maybe PageModeName -> IO ()Source
Remove tab from window.
windowSwapTab :: Environment -> PageModeName -> Int -> Int -> IO ()Source
Swap tab in window.