error-gutters icon indicating copy to clipboard operation
error-gutters copied to clipboard
verified publisher icon PinkaminaDianePie

Feature request: customizing

Open fakhamatia opened this issue 6 years ago • 0 comments

add some options like customize which diagnostic levels to show icon.

fakhamatia avatar Apr 08 '19 07:04 fakhamatia