]> git.lyx.org Git - features.git/commit
projects / features.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 2ee880f) | patch
Make text margin size dependent on zoom and dpi
authorJean-Marc Lasgouttes <lasgouttes@lyx.org>
Thu, 3 Dec 2015 09:07:52 +0000 (10:07 +0100)
committerJean-Marc Lasgouttes <lasgouttes@lyx.org>
Fri, 11 Dec 2015 11:26:07 +0000 (12:26 +0100)
commit9c43747cc9d50a4ccb8d3ada651596b71a2862c9
tree9a98107daacdd2384838c816d0da8dadf3555770tree | snapshot
parent2ee880ff21ae663630e2ef3a2baab4bb32cc42adcommit | diff
Make text margin size dependent on zoom and dpi

The default hardcoded value of 10 corresponds to 2.5mm at 100dpi, but does not make much sense on a HiDpi screen.
src/BufferView.cpp diff | blob | history
Repository for new features