ui: Added show errors button to title bar of incomplete files (issue #246)

* Shows all errors within the file and all included files.
2018-03-17 09:16:52 +01:00
parent 1450f3cd94
commit 66ac70850b
31 changed files with 302 additions and 98 deletions
@@ -110,6 +110,10 @@
 	padding-right: 5px;
 }

+#title_bar #screen_button, #title_bar_single #screen_button {
+	margin-right: 7px;
+}
+
 #title_button {
 	background-color: <color:code/file/title/normal>;
 	border: none;