db6f671135
GTK 3.21.0 fixed font size handling, leading to properly interpreting pixels and points in CSS declarations. However, as older versions incorrectly handled those, the code has to handle both behaviours. From CSS, GTK < 3.21.0 actually applied the conversion to points, but incorrectly: 10px was used as 10pt, but 10pt was scaled up twice. So, assuming 96 DPI, it leads to: font-size | 3.20.0 | 3.21.0 | ----------|---------|---------| 10px | 13.33px | 10px | 10pt | 17.77px | 13.33px | So, we need to fix the code to accommodate for both (either scaling ourselves, or adapting the unit: I chose the second, simpler, option). See https://git.gnome.org/browse/gtk+/commit/?id=df08fc91bdc1d2e4c866122304fabe4dd298a7de X-Scintilla-Bug-URL: https://sourceforge.net/p/scintilla/bugs/1859/ X-Scintilla-Commit-ID: a4b5da8b3a0a05a1e67ba7eb08474106d421b088
These files are from the Scintilla project, http://www.scintilla.org. See License.txt for the Scintilla license. We try to keep these files in sync with the official project; any changes should be sent there first. Otherwise changes could cause conflicts when we next update Scintilla. Public header constants (include/*.h) ------------------------------------- You should not add constants in header files - instead use Scintilla.iface and HFacer.py. Do not change the value of constants in header files as this will break Scintilla's ABI.