What's a mouse? ;)— Zef

Sent from my iPhone

On Sat, Apr 5, 2014 at 7:21 PM, Robert Bruce Park
<notifications@github.com> wrote:

>>                      });
>>                      session.setValue(command_list);
>> +                    session.foldAll();
> Well, I'll unfold if you like, but the thing is the folded sections are clickable, ie, you can unfold them just with the mouse, even if the gutter is hidden.
> ---
> Reply to this email directly or view it on GitHub:
> https://github.com/zedapp/zed/pull/207/files#r11322217