Re: [LyX/master] Support the mathbbm font.

2020-07-28 Thread Thibaut Cuvelier
On Tue, 28 Jul 2020 at 17:41, Stephan Witt wrote: > Am 28.07.2020 um 05:02 schrieb Thibaut Cuvelier : > > > On Mon, 27 Jul 2020 at 12:34, Pavel Sanda wrote: > On Mon, Jul 27, 2020 at 04:56:48AM +0200, Thibaut Cuvelier wrote: > > commit e709a6626e731b460a98ea34d762a776de90b54c > > Author: Thibaut

Re: Fullscreen vs. reading mode

2020-07-28 Thread Stephan Witt
Am 28.07.2020 um 12:15 schrieb Pavel Sanda : > > On Mon, Jul 27, 2020 at 10:21:26PM +0200, Daniel wrote: >>> On Tue, Jul 21, 2020 at 05:33:07AM +0200, Daniel wrote: I don't have Linux, so it might be that some WMs react very differently from macOS. So, your WM has a dedicated fulls

Re: [LyX/master] DocBook: allow KOMA-Script documents to be generated as DocBook

2020-07-28 Thread Pavel Sanda
On Tue, Jul 28, 2020 at 05:20:44AM +0200, Thibaut Cuvelier wrote: > Using the docbook-xsl package to do so is not exactly straightforward, it > seems, but it's doable. The main problem is that XSLT 1 does not allow to > generate multiple files nor ZIP archives, so you have to find workarounds??? >

Re: Fullscreen vs. reading mode

2020-07-28 Thread Pavel Sanda
On Mon, Jul 27, 2020 at 10:21:26PM +0200, Daniel wrote: > >On Tue, Jul 21, 2020 at 05:33:07AM +0200, Daniel wrote: > >>I don't have Linux, so it might be that some WMs react very differently from > >>macOS. So, your WM has a dedicated fullscreen function to send any > >>application into fullscreen.

Re: [PATCH] Add support for HiDpi screens

2020-07-28 Thread Daniel
On 27/7/20 18:08, Jean-Marc Lasgouttes wrote: Le 27 juillet 2020 15:35:54 GMT+02:00, Daniel a écrit : On 27/7/20 15:33, Jean-Marc Lasgouttes wrote: Le 27 juillet 2020 15:28:07 GMT+02:00, Daniel a écrit : In any case, several UI elements don't scale properly without Qt HiDPI support, e.g

Re: [PATCH] Add support for HiDpi screens

2020-07-28 Thread Jean-Marc Lasgouttes
Le 27 juillet 2020 15:35:54 GMT+02:00, Daniel a écrit : > > >On 27/7/20 15:33, Jean-Marc Lasgouttes wrote: >> Le 27 juillet 2020 15:28:07 GMT+02:00, Daniel a >écrit : >>> In any case, several UI elements don't scale properly without Qt >HiDPI >>> support, e.g. the layout dropdown list in the tool