Re: shortcut for fold/unfold

vincent douce <[email protected]> Mon, 12 Jan 2026 23:01:11 +0100

Newsgroups	gmane.editors.texmacs.user
Message-ID	<[email protected]>

thanks very much Gr=C3=A9goire


> Le 12 janv. 2026 =C3=A0 08:23, Gr=C3=A9goire Lecerf =
<[email protected]> a =C3=A9crit :
>=20
> Dear Vincent,
>=20
> F9, F10, F11 and F12 perform the fold/unfold (see definitions in =
TeXmacs/progs/dynamic/fold-kbd.scm).
>=20
> Of course, you may assign the scheme command "(alternate-toggle =
(focus-tree))" to you favorite shortcut.
>=20
> Best wishes,
> Gr=C3=A9goire
>=20
>=20