Issues (1–1 of 1)

Title	T	P	Status	Votes	Assignee	Milestone	Version	Created	Updated	Actions
#803: Regression: cannot change the font size via `Ctrl` + `+` userinterface	bug	major	resolved			1.0	0.12	2018-01-10	2018-12-04