This commit is contained in:
parent
0aa315fa1e
commit
ebb62e9e0f
|
@ -2,21 +2,6 @@
|
||||||
# are fully specified by the operations used to generate them.
|
# are fully specified by the operations used to generate them.
|
||||||
|
|
||||||
type environment {
|
type environment {
|
||||||
tabs: (handle array tab)
|
|
||||||
current: int # index into tabs
|
|
||||||
}
|
|
||||||
|
|
||||||
type tab {
|
|
||||||
type: int
|
|
||||||
# type 0: items by a user
|
|
||||||
# type 1: items in a channel
|
|
||||||
# type 2: comments for a post
|
|
||||||
# type 3: items containing a search (TODO)
|
|
||||||
root-index: int # into either users, items or comments
|
|
||||||
item-index: int # what item in the corresponding list we start rendering
|
|
||||||
# the current page at
|
|
||||||
grapheme-index: int # what character in the item we start rendering
|
|
||||||
# the current page at
|
|
||||||
}
|
}
|
||||||
|
|
||||||
# static buffer sizes in this file:
|
# static buffer sizes in this file:
|
||||||
|
|
Loading…
Reference in New Issue