ui: Errorview

Tabbed view with errorview as tab
2016-10-13 12:37:10 +02:00
parent 97b151371b
commit dc064e4756
82 changed files with 1641 additions and 197 deletions
@@ -29,6 +29,7 @@ public:
 	virtual void clear();

 	virtual void setErrorInfos(const std::vector<ErrorInfo>& errorInfos);
+	virtual bool showsErrors() const;

 	virtual void showCodeSnippets(const std::vector<CodeSnippetParams>& snippets, const std::vector<Id>& activeTokenIds);
 	virtual void addCodeSnippets(const std::vector<CodeSnippetParams>& snippets, bool insert);