A wrapper around a VTE Terminal. This also stores the process ID of the process running on this terminal, as well as a Unique that can be used for comparing terminals.

A container that holds everything in a given terminal window. The term in the TMTerm is inside the tmNotebookTabTermContainer ScrolledWindow. The notebook tab Label is also available.

This holds the GTK Notebook containing multiple tabs of Terminals. We keep a separate list of terminals in tmNotebookTabs.

The font size for the Termonad terminal. There are two ways to set the fontsize, corresponding to the two different ways to set the font size in the Pango font rendering library.

If you're not sure which to use, try FontSizePoints first and see how it looks. It should generally correspond to font sizes you are used to from other applications.

The default FontSize used if not specified.

>>> defaultFontSize
FontSizePoints 12

Modify a FontSize by adding some value.

>>> modFontSize 1 (FontSizePoints 13)
FontSizePoints 14
>>> modFontSize 1 (FontSizeUnits 9.0)
FontSizeUnits 10.0

You can reduce the font size by passing a negative value.

>>> modFontSize (-2) (FontSizePoints 13)
FontSizePoints 11

If you try to create a font size less than 1, then the old font size will be used.

>>> modFontSize (-10) (FontSizePoints 5)
FontSizePoints 5
>>> modFontSize (-1) (FontSizeUnits 1.0)
FontSizeUnits 1.0

Settings for the font to be used in Termonad.

The default FontConfig to use if not specified.

>>> defaultFontConfig == FontConfig {fontFamily = "Monospace", fontSize = defaultFontSize}
True

This data type represents an option that can either be Set or Unset.

This data type is used in situations where leaving an option unset results in a special state that is not representable by setting any specific value.

Examples of this include the cursorFgColour and cursorBgColour options supplied by the ColourConfig ConfigExtension. By default, cursorFgColour and cursorBgColour are both Unset. However, when cursorBgColour is Set, cursorFgColour defaults to the color of the text underneath. There is no way to represent this by setting cursorFgColour.

Run a function over the value contained in an Option. Return mempty when Option is Unset.

>>> whenSet (Set [1,2,3]) (++ [4,5,6]) :: [Int]
[1,2,3,4,5,6]
>>> whenSet Unset (++ [4,5,6]) :: [Int]
[]

Whether or not to show the scroll bar in a terminal.

Whether or not to show the tab bar for switching tabs.

Configuration options for Termonad.

See defaultConfigOptions for the default values.

The default ConfigOptions.

>>> :{
  let defConfOpt =
        ConfigOptions
          { fontConfig = defaultFontConfig
          , showScrollbar = ShowScrollbarIfNeeded
          , scrollbackLen = 10000
          , confirmExit = True
          , wordCharExceptions = "-#%&+,./=?@\\_~\183:"
          , showMenu = True
          , showTabBar = ShowTabBarIfNeeded
          , cursorBlinkMode = CursorBlinkModeOn
          , boldIsBright = False
          , enableSixel = False
          , allowBold = True
          }
  in defaultConfigOptions == defConfOpt
:}
True

The Termonad ConfigOptions along with the ConfigHooks.

The default TMConfig.

options is defaultConfigOptions and hooks is defaultConfigHooks.

Hooks into certain termonad operations and VTE events. Used to modify termonad's behaviour in order to implement new functionality. Fields should have sane Semigroup and Monoid instances so that config extensions can be combined uniformly and new hooks can be added without incident.

Default values for the ConfigHooks.

• The default function for createTermHook is defaultCreateTermHook.

Default value for createTermHook. Does nothing.

Gather up the invariants for TMState and return them as a list.

If no invariants have been violated, then this function should return an empty list.

Check the invariants for TMState, and call fail if we find that they have been violated.