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 >
