Yi.UI.TabBar
- data TabDescr = TabDescr {
- tabText :: String
- tabInFocus :: Bool
- type TabBarDescr = PointedList TabDescr
- tabBarDescr :: Editor -> TabBarDescr
- tabAbbrevTitle :: String -> String
Documentation
A TabDescr describes the properties of a UI tab independent of the particular GUI in use.
Constructors
| TabDescr | |
Fields
| |
type TabBarDescr = PointedList TabDescrSource
tabAbbrevTitle :: String -> StringSource