Eberhard Graether 66ac70850b 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

..

images

ui: Custom style for dock widget title bars

2018-01-05 01:06:49 +01:00

main.css

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

2018-03-17 09:16:52 +01:00

scrollbar.css

ui: Custom style for dock widget title bars

2018-01-05 01:06:49 +01:00