Roy Qu 74fdf1ebef - fix: left and right gutter offset settings not correctly saved ... - enhancement: use svg icons for editor gutter, and they can zoom with font now		2021-12-20 09:36:18 +08:00
..
bookmark.png	work save: add bookmark icon	2021-10-21 15:12:19 +08:00
breakpoint.png	save icons	2021-06-24 10:30:12 +08:00
breakpoint.svg	- fix: left and right gutter offset settings not correctly saved	2021-12-20 09:36:18 +08:00
currentline.png	save icons	2021-06-24 10:30:12 +08:00
syntaxerror.png	save icons	2021-06-24 10:30:12 +08:00
syntaxwarning.png	save icons	2021-06-24 10:30:12 +08:00