Dear Joris, Thanks a lot, this looks great! I love the context tool already.
I've played around with it a bit and have noticed two minor things: - the side tools don't acquire a vertical scroll bar when its size is larger than the window. Hence, the status bar can disappear off-screen if too many tools are enabled and the window can't be resized vertically below a minimum height. - the side tools appears on top of the document when in full-screen view I'd be happy to participate in a meeting, if one will be planned. Best wishes, Jeroen On Mon, 2021-11-22 at 00:47 +0100, TeXmacs wrote: > 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 _______________________________________________ Texmacs-dev mailing list Texmacs-dev@gnu.org https://lists.gnu.org/mailman/listinfo/texmacs-dev
