4 commits

Author	SHA1	Message	Date
Blaž Hrastnik	87e3cd3df2	ui: Render diagnostic errors in sideline.	2021-03-15 16:19:31 +09:00
Blaž Hrastnik	9dcfe25e4a	Use diagnostic.severity to distinguish between error colors.	2021-03-11 16:31:49 +09:00
Blaž Hrastnik	49254d7180	Total mess but it works: diagnostic marking.	2020-12-03 13:10:34 +09:00
Blaž Hrastnik	f9bfba4d96	Reroute LSP notification events into the main app event loop.	2020-12-03 13:10:32 +09:00