-From background-static Thu Mar 23 17:52:17 EET 2006
-Message-Id: <riot.20060323175217.6@riot.invalid>
-Date: Thu Mar 23 17:52:17 EET 2006
-Status: RO
-X-Riot-Version: 1ds-yyyymmdd
-From: Riot
-X-Riot-Edited: Sat Apr 22 19:08:23 EEST 2006
-Content-Type: text/plain; charset=utf-8
-Subject: Numbered tabs
-In-Reply-To: <riot.20060323180800.34@riot.invalid>
-
-Numbered tabs
-
-Either togglable, or perhaps the numbers should be shown when
-a prefix of the key combo to switch tabs has been entered.
-The latter will be quite more complicated to implement.
-
-Done: basic toggleable numbering.
-