I have filed the bug report and downgraded to 2.3.1. greetings, el
On 2018-12-16 11:33 , Dr Eberhard W Lisse wrote: > Anders, > > That is correct. > > el > > Sent from Dr Lisse’s iPad mini 4 > On 16 Dec 2018, 10:39 +0200, Anders Ekberg <a...@me.com>, wrote: >> On 16 Dec 2018, at 08:28, Dr Eberhard W Lisse <e...@lisse.na> wrote: >>> >>> Will do. >>> >>> But, can you reproduce? >>> >>> el >>> >>> Sent from Dr Lisse’s iPad mini 4 >>> On 16 Dec 2018, 04:24 +0200, Richard Kimberly Heck >>> <rikih...@lyx.org>, wrote: >>>> On 12/15/18 7:48 PM, Dr Eberhard Lisse wrote: >>>>> Thanks, >>>>> >>>>> but I noticed a real nuisance on Mojave 10.14.1 >>>>> >>>>> When I click on the Text Style button it uses default which I do not >>>>> like (and not the default one :-)-O). When I manually change them and >>>>> click on marked text it makes the change as requested. When I mark some >>>>> other text for the same formatting it resets this again. >>>>> >>>>> This is a serious change from previous behavioir and not a feature. >>>>> >>>>> How can I fix that? >>>> >>>> Please file a bug report about this. We will investigate it for 2.3.3. >>>> >>>> Riki >>>> >> To see if I get this right: >> I have the text “Some text”. I click on the Text Style button (without >> marking any text) and it is marked Medium. I alter to Bold, double >> click on “text". It reverts to Medium (as is the format of “text”. I >> change to Bold and click apply and “text" becomes bold. I then double >> click on “Some”, the dialogue box reverts to Medium (which is the >> style of “Some”. Change to Bold and click apply turns “Some” to bold. >> This is what I see on Mojave 10.14.2 with (works great for me, but >> don’t use with Dark Appearance…). >> >> Anders -- Dr. Eberhard W. Lisse / Obstetrician & Gynaecologist (Saar) e...@lisse.na / * | Telephone: +264 81 124 6733 (cell) PO Box 8421 / Bachbrecht, Namibia ;____/
