From mboxrd@z Thu Jan  1 00:00:00 1970
From: marcus-sup@bar-coded.net (Marcus Williams)
Date: Fri, 12 Jun 2009 21:18:10 +0100
Subject: [sup-talk] Gmail Labels Sidebar
In-Reply-To: <1244833003-sup-9212@entry>
References: <80055d7c0906081737s4dd3e205t2f3e69423ef48e17@mail.gmail.com>
	<1244509454-sup-1208@ntdws12.chass.utoronto.ca>
	<1244513641-sup-360@javelin>
	<1244514031-sup-2335@ntdws12.chass.utoronto.ca>
	<80055d7c0906090633t2a7aecd6i30578a9976697e4e@mail.gmail.com>
	<1244556424-sup-1426@tomsk> <1244833003-sup-9212@entry>
Message-ID: <1244837827-sup-6632@tomsk>

On 12.6.2009, William Morgan wrote:
> Nice idea. I'd add such a thing, but I think you can make it
> significantly simpler. (As you point out, locking the index is not
> necessary.)

Simpler is good - it was a quick hack anyway :) You version works out
of the box so it would be a nice addition to sup/bin

Marcus