> On 24 Feb 2015, at 13:11, stepharo <[email protected]> wrote: > > Hi guys > > yesterday I gave a presentation and spotter fonts were not updated to the > font changes >
Yes, this is the editor (Rubric). The font setting is just for the old one.
There are already two issues on the issue tracker about this.
Marcus
