[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
[Texmacs-dev] Side tools
From: |
TeXmacs |
Subject: |
[Texmacs-dev] Side tools |
Date: |
Mon, 22 Nov 2021 00:47:39 +0100 |
User-agent: |
Mutt/1.5.21 (2010-09-15) |
Dear all,
I have been playing a bit with side tools.
You can test what I did via 'Tools -> Developer tool',
then 'View -> Side tools', and then
'Developer -> Experimental side tools / ...'.
Note: you should select the 'dark' (or 'bright') theme.
I still have to think quite a lot about a good philosophy.
Some ideas are welcome. At a certain point, we might setup
a Zoom meeting to discuss this issue.
Best wishes, --Joris
- [Texmacs-dev] Side tools,
TeXmacs <=