From ebb62e9e0f6064d3cef362c132ece80f4dff6c7d Mon Sep 17 00:00:00 2001
From: "Kartik K. Agaram" <vc@akkartik.com>
Date: Wed, 11 Aug 2021 13:57:30 -0700
Subject: [PATCH] .

---
 browse-slack/environment.mu | 15 ---------------
 1 file changed, 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: