git.lyx.org Git - features.git/commit

]> git.lyx.org Git - features.git/commit

author	Jean-Marc Lasgouttes <lasgouttes@lyx.org>
	Thu, 1 Oct 2020 12:24:21 +0000 (14:24 +0200)
committer	Jean-Marc Lasgouttes <lasgouttes@lyx.org>
	Tue, 13 Oct 2020 15:27:52 +0000 (17:27 +0200)
commit	c516c86d190852b030d17125dd476c1891755c09
tree	210f796b021650c5d7ae7f12c1bbebea4fdbf8bc	tree \| snapshot
parent	310c94c48c563b5dbe0564721c2f8356f933a42f	commit \| diff

Make cursor width depend on current font

This makes the cursor more visible wrt current font.

Moreover make the cursor width scalable by default.

Repository for new features