[Top][All Lists]

[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

reply via email to

[Prev in Thread] Current Thread [Next in Thread]