Re: [Texmacs-dev] Side tools

[Jeroen Wouters]

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