mailing-list for TeXmacs Users

[Michael Lachmann <address@hidden>]

Does someone have a screenshot of the sidemenu?

Michael


On 26 October 2012 14:14, Adrian S. <address@hidden> wrote:
> Thanks, Miguel. I will play with it. It would be great if  it is included in
> the next stable release.
>
> Thanks!
> Peace.
> Adrian.
>
> On Apr 23, 2012 5:10 PM, "Adrian S." <address@hidden> wrote:
>>
>> Does anyone know or remember how to enable the side menu to be able to
>> have something like what Joris had in the fifth video at 1:11:27?
>>
>> I wanted to play with it, but could not manage to get it in a side menu...
>>
>> Thanks
>> -Adrián.