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
