[Top][All Lists]

[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

Re: [Texmacs-dev] Side tools

From: Jeroen Wouters
Subject: Re: [Texmacs-dev] Side tools
Date: Mon, 22 Nov 2021 09:59:34 +0000
User-agent: Evolution 3.42.1 (3.42.1-1.module_f35+13285+d2ce6a28)

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

I'd be happy to participate in a meeting, if one will be planned.

Best wishes,

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

reply via email to

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