Re: Merge paragraphs of different non-Default/Plain Layouts

2020-07-22 Thread Richard Kimberly Heck
On 7/23/20 12:46 AM, Daniel wrote: > On 2020-07-23 06:43, Richard Kimberly Heck wrote: >> On 7/23/20 12:32 AM, Daniel wrote: >>> On 2020-07-22 21:15, Richard Kimberly Heck wrote: On 7/22/20 2:19 PM, Jean-Marc Lasgouttes wrote: > Le 22/07/2020 à 19:27, Daniel a écrit : >> I guess there

Re: Merge paragraphs of different non-Default/Plain Layouts

2020-07-22 Thread Daniel
On 2020-07-23 06:43, Richard Kimberly Heck wrote: On 7/23/20 12:32 AM, Daniel wrote: On 2020-07-22 21:15, Richard Kimberly Heck wrote: On 7/22/20 2:19 PM, Jean-Marc Lasgouttes wrote: Le 22/07/2020 à 19:27, Daniel a écrit : I guess there should be some kind of reaction when backspace is presse

Re: Merge paragraphs of different non-Default/Plain Layouts

2020-07-22 Thread Richard Kimberly Heck
On 7/23/20 12:32 AM, Daniel wrote: > On 2020-07-22 21:15, Richard Kimberly Heck wrote: >> On 7/22/20 2:19 PM, Jean-Marc Lasgouttes wrote: >>> Le 22/07/2020 à 19:27, Daniel a écrit : I guess there should be some kind of reaction when backspace is pressed for the first time. Maybe select fr

Re: Merge paragraphs of different non-Default/Plain Layouts

2020-07-22 Thread Daniel
On 2020-07-22 21:15, Richard Kimberly Heck wrote: On 7/22/20 2:19 PM, Jean-Marc Lasgouttes wrote: Le 22/07/2020 à 19:27, Daniel a écrit : I guess there should be some kind of reaction when backspace is pressed for the first time. Maybe select from the end of the previous paragraph to the start

Re: [LyX/master] Implement variable size bigops

2020-07-22 Thread Enrico Forestieri
On Wed, Jul 22, 2020 at 11:14:05PM +0200, Enrico Forestieri wrote: > > So, the question is why in current master the metrics of the wrong > font are used? I don't have an answer. The culprit turns out to be be836909c52 and the attached patch fixes this issue for me. -- Enrico diff --git a/src/f

Re: [LyX/master] Implement variable size bigops

2020-07-22 Thread Enrico Forestieri
On Tue, Jul 21, 2020 at 11:12:33PM +0200, Enrico Forestieri wrote: > On Sat, Jul 18, 2020 at 12:01:16AM +0200, Jean-Marc Lasgouttes wrote: > > Le 17/07/2020 à 23:40, Enrico Forestieri a écrit : > > > On Fri, Jul 17, 2020 at 10:32:09PM +0200, Jean-Marc Lasgouttes wrote: > > > > > > > > This is some

Re: Merge paragraphs of different non-Default/Plain Layouts

2020-07-22 Thread Richard Kimberly Heck
On 7/22/20 2:19 PM, Jean-Marc Lasgouttes wrote: > Le 22/07/2020 à 19:27, Daniel a écrit : >> I guess there should be some kind of reaction when backspace is >> pressed for the first time. Maybe select from the end of the previous >> paragraph to the start of the current paragraph via >> LFUN_CHAR_B

Re: Merge paragraphs of different non-Default/Plain Layouts

2020-07-22 Thread Jean-Marc Lasgouttes
Le 22/07/2020 à 19:27, Daniel a écrit : I guess there should be some kind of reaction when backspace is pressed for the first time. Maybe select from the end of the previous paragraph to the start of the current paragraph via LFUN_CHAR_BACKWARD_SELECT? Anyway, for me it is hard to say whether t

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

2020-07-22 Thread Thibaut Cuvelier
On Tue, 21 Jul 2020 at 09:09, Richard Kimberly Heck wrote: > On 7/20/20 8:35 PM, Thibaut Cuvelier wrote: > > commit c9f8469c00da790f2a80cf55089a3c1a48b755c3 > > Author: Thibaut Cuvelier > > Date: Tue Jul 21 02:59:57 2020 +0200 > > > > DocBook: allow KOMA-Script documents to be generated as

Re: Merge paragraphs of different non-Default/Plain Layouts

2020-07-22 Thread Daniel
On 2020-07-21 21:43, Richard Kimberly Heck wrote: On 7/21/20 3:13 PM, Daniel wrote: I am always a little stumped that it is not allowed to merge two paragraphs by pressing backspace (delete) at the first (last) position of a paragraph where there is another layout in the previous (next) paragrap

Re: [PATCH] Add support for HiDpi screens

2020-07-22 Thread Daniel
On 19/7/20 5:23, Daniel wrote: On 18/7/20 23:07, Enrico Forestieri wrote: On Sat, Jul 18, 2020 at 10:13:09PM +0200, Jean-Marc Lasgouttes wrote: Le 18/07/2020 à 19:05, Enrico Forestieri a écrit : On Sat, Jul 18, 2020 at 12:06:26AM +0200, Jean-Marc Lasgouttes wrote: Now that I have a HiDpi scree