mirror of
https://github.com/jtdaugherty/brick.git
synced 2024-12-01 17:32:52 +03:00
Whitespace
This commit is contained in:
parent
301015a930
commit
312b7f8391
@ -213,13 +213,14 @@ data Viewport =
|
||||
|
||||
-- | The type of viewports that indicates the direction(s) in which a
|
||||
-- viewport is scrollable.
|
||||
data ViewportType = Vertical
|
||||
-- ^ Viewports of this type are scrollable only vertically.
|
||||
| Horizontal
|
||||
-- ^ Viewports of this type are scrollable only horizontally.
|
||||
| Both
|
||||
-- ^ Viewports of this type are scrollable vertically and horizontally.
|
||||
deriving (Show, Eq)
|
||||
data ViewportType =
|
||||
Vertical
|
||||
-- ^ Viewports of this type are scrollable only vertically.
|
||||
| Horizontal
|
||||
-- ^ Viewports of this type are scrollable only horizontally.
|
||||
| Both
|
||||
-- ^ Viewports of this type are scrollable vertically and horizontally.
|
||||
deriving (Show, Eq)
|
||||
|
||||
data CacheInvalidateRequest n =
|
||||
InvalidateSingle n
|
||||
|
Loading…
Reference in New Issue
Block a user