On Fri, Mar 09, 2018 at 05:57:01PM +0000, Pavel Sanda wrote: > Scott Kostyshak wrote: > > > > > > I've seen this in the past also, but only at high zoom levels. > > > > > > > > > > In other words, when you put \dot in mathed you see dot? > > > > > > > > For that one, I can indeed see that the dot is not a dot at low zoom > > > > levels as well. > > > > > > You mean zoom-in changes the visual appearance for \dot in your > > > environemnt? > > > It does not change a single pixel here. Do you use linux? > > > > I have the same behavior as you, I think: \dot doesn't change at all > > with zoom. \ddots does. > > After sitting on the code for a while I don't believe you :))
Perhaps I explained poorly. Here is a screencast for 2.3.x, showing \dot and \\dots as I zoom: https://www.dropbox.com/s/1x6uql5ugnoyvky/screencast-LQ-6142.ogv?dl=0 Scott
signature.asc
Description: PGP signature
