Rasa.Ext.Views

viewports

Working with Views

data View

viewable

splitRule

active

scrollPos

getViews

View Structure

data Split

data Dir

data SplitRule

type Window

data BiTree b l

data BiTreeF b l r

Provided Actions

rotate

closeInactive

focusViewLeft

focusViewRight

focusViewAbove

focusViewBelow

hSplit

vSplit

addSplit

nextBuf

prevBuf

focusDo

focusDo_

focusedBufs

isFocused

scrollBy

Creating Widgets

data Widgets

topBar

bottomBar

leftBar

rightBar

class HasWidgets r

Providing Widgets

addTopBar

addBottomBar

addLeftBar

addRightBar

Provided Widgets

enableLineNumbers

disableLineNumbers

toggleLineNumbers

checkLineNumbers

addTopStatus

addBottomStatus