Subject: mailing-list for TeXmacs Users
List archive
From : Julien Frontisi <address@hidden>- To: texmacs-users <address@hidden>
- Subject: [TeXmacs] dynamic menu
- Date: Sat, 15 Sep 2018 12:48:41 +0200
Hi, everyone,
up to TeXmacs 1.99.6 there used to be a menu called dynamic that appeared
when the presentation tool was selected. It’s no longer here in 1.99.7. How
could I get it again ? Specifically, I would like to know how to fold and
unfold all folds in a document (or even better, a specific group of folds)
simultaneously.
Thanks
Julien
- [TeXmacs] dynamic menu, Julien Frontisi, 09/15/2018
Archive powered by MHonArc 2.6.19.