]> git.lyx.org Git - features.git/commit
Extend non-default margins tooltip (#11424)
authorJuergen Spitzmueller <spitz@lyx.org>
Sun, 17 Jan 2021 09:18:45 +0000 (10:18 +0100)
committerJuergen Spitzmueller <spitz@lyx.org>
Sun, 17 Jan 2021 09:18:45 +0000 (10:18 +0100)
commit606a40463292c505797d1bd4dcdb4083bd187fa7
tree6ccb7f32f618d6dc534420344dfdfe40f8454a17
parent5ba8c6bd9267b09e6def98751886ee4762ee29b0
Extend non-default margins tooltip (#11424)
src/frontends/qt/ui/MarginsUi.ui