2 Commits

Author	SHA1	Message	Date
Roy Qu	b2caf38e89	- fix: use pixel size for fonts, to fit different dpi in multiple displays	2021-12-16 19:14:14 +08:00
royqh1979@gmail.com	c64c4916ac	- enhancement: edit problem properties ... - enhancement: show problem description in the problem name lable's tooltip	2021-11-04 09:07:06 +08:00