diff options
| author | Kartik K. Agaram <vc@akkartik.com> | 2021-08-11 13:57:30 -0700 |
|---|---|---|
| committer | Kartik K. Agaram <vc@akkartik.com> | 2021-08-11 14:22:32 -0700 |
| commit | ebb62e9e0f6064d3cef362c132ece80f4dff6c7d (patch) | |
| tree | a273ced0096bea1f27ac78ee2853dd7b884faf50 /browse-slack | |
| parent | 0aa315fa1e1e89e2c86776b364163483f4a10703 (diff) | |
| download | mu-ebb62e9e0f6064d3cef362c132ece80f4dff6c7d.tar.gz | |
.
Diffstat (limited to 'browse-slack')
| -rw-r--r-- | browse-slack/environment.mu | 15 |
1 files changed, 0 insertions, 15 deletions
diff --git a/browse-slack/environment.mu b/browse-slack/environment.mu index 93429d50..15252d73 100644 --- a/browse-slack/environment.mu +++ b/browse-slack/environment.mu @@ -2,21 +2,6 @@ # are fully specified by the operations used to generate them. 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: |