{-# LANGUAGE DeriveDataTypeable #-}
{-# LANGUAGE DeriveGeneric #-}
{-# OPTIONS_HADDOCK show-extensions #-}
module Yi.UI.LineNumbers
( getDisplayLineNumbersLocal
, setDisplayLineNumbersLocal
) where
import Data.Binary (Binary (..))
import Data.Default (Default (..))
import Data.Typeable (Typeable)
import GHC.Generics (Generic)
import Yi.Buffer (getBufferDyn, putBufferDyn)
import Yi.Types (BufferM, YiVariable)
newtype DisplayLineNumbersLocal = DisplayLineNumbersLocal { unDisplayLineNumbersLocal :: Maybe Bool }
deriving (Generic, Typeable)
instance Default DisplayLineNumbersLocal where
def = DisplayLineNumbersLocal Nothing
instance Binary DisplayLineNumbersLocal
instance YiVariable DisplayLineNumbersLocal
getDisplayLineNumbersLocal :: BufferM (Maybe Bool)
getDisplayLineNumbersLocal = unDisplayLineNumbersLocal <$> getBufferDyn
setDisplayLineNumbersLocal :: Maybe Bool -> BufferM ()
setDisplayLineNumbersLocal = putBufferDyn . DisplayLineNumbersLocal