WEditor.Base.Viewer

Generic editor-viewport functionality.

Documentation

class FixedFontViewer a c | a -> c where

Generic editor viewport for fixed-width fonts.

Methods

setViewSize :: a -> (Int, Int) -> a

Sets the (width,height) size of the viewport. A width < 0 must disable line wrapping, and a height < 0 must disable vertical bounding.

getViewSize :: a -> (Int, Int)

Gets the (width,height) size of the viewport.

getVisible :: a -> [[c]]

Gets the visible lines in the viewport. This does not need to completely fill the viewport area, but it must not exceed it.

Instances

FixedFontViewer (EditingDocument c) c

Defined in WEditor.Document

Methods

setViewSize :: EditingDocument c -> (Int, Int) -> EditingDocument c

getViewSize :: EditingDocument c -> (Int, Int)

getVisible :: EditingDocument c -> [[c]]

type ViewerAction c = forall a. FixedFontViewer a c => a -> a

Any action that updates a FixedFontViewer.

viewerResizeAction :: (Int, Int) -> ViewerAction c

Action to resize the viewport.