Enrico Forestieri wrote: > We can also rule out 4.1.4, as it differs from 4.1.5 by an epsilon.
Ok. >> Wrt. to the glitch, the attached should fix it, hopefully without >> introducing other glitches. It turns out it is trickier than it may seem >> to get all corner cases right (1 position -> multiple latex rows, >> multiple positions -> 1 latex row, etc.). > > The patch works without visible drawbacks. Cool. Thanks again Enrico. > I don't exactly know. For example, on linux I get black. Then the > font used in the View Source window is quite readable with 4.1.5, > but is very small with 4.2.2 and 4.3.1. All these versions should > share the same preferences set in ~/.config/Trolltech.conf, so > there must be different defaults in different versions. > I don't how to configure that, though, as I don't seem to see > anything relevant when using qtconfig. Ugh. We could set the font explicitly I guess, don't know if this makes sense. Here you can change font size on the widget with C-MouseWheel. About the selection color I don't know if there's something we can do (cannot find how in qt4.1 manuals), maybe someone else knows. A/
