Matterhorn.Draw.Util

Documentation

withBrackets :: Widget a -> Widget a

renderTime :: ChatState -> UTCTime -> Widget Name

renderDate :: ChatState -> UTCTime -> Widget Name

renderKeybindingHelp :: Text -> [KeyEvent] -> Widget Name

insertDateMarkers :: Messages -> Text -> TimeZoneSeries -> Messages

Generates a local matterhorn-only client message that creates a date marker. The server date is converted to a local time (via timezone), and midnight of that timezone used to generate date markers. Note that the actual time of the server and this client are still not synchronized, but no manipulations here actually use the client time.

getDateFormat :: ChatState -> Text

mkChannelName :: ChatState -> ChannelInfo -> Text

userSigilFromInfo :: UserInfo -> Char

multilineHeightLimit :: Int