3 Commits

Include renames

Author	SHA1	Message	Date
Eberhard Graether	0e8c0ee18a	src: refactored ErrorInfo to be used as standard error type outside of Storage	2016-10-21 14:48:20 +02:00
Andreas Stallinger	dc064e4756	ui: Errorview ... Tabbed view with errorview as tab	2016-10-13 12:37:10 +02:00
Eberhard Graether	fcc39f4a77	ui: Improved user experience of error display ... * label errors as errors instead of references in file snippet headers * show number of fatal errors in file snippet headers as well * only show the first 10 error snippets open, remaining collapsed * don't show status message after parsing in red on errors * don't show stats of parsing when project was only loaded	2016-04-13 12:14:55 +02:00