Eberhard Graether 7783695d8d ui: New style for tab bar in status view

2018-03-20 01:46:23 +01:00

..

data

ui: New style for tab bar in status view

2018-03-20 01:46:23 +01:00

user

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

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