mailing-list for TeXmacs Users

[Miguel de Benito Delgado <address@hidden>]

I just stumbled upon this message. If you are still interested, you
have to recompile setting

use_side_tools = true

in src/src/Graphics/Gui/widget.cpp

However, be warned that this is experimental and will likely crash
your texmacs if you try to embed some widgets in the sidebar, like
texmacs-input, which will crash if you try to close the document it
contains or upon closing all other documents. You'll also need to
define the widget texmacs-side-tools in your scheme code to be
whatever you want.

Best,
________________
Miguel de  Benito.


On Tue, Apr 24, 2012 at 12:10 AM, 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.