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 mailing list Texmacs-dev@gnu.org https://lists.gnu.org/mailman/listinfo/texmacs-dev