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
