Eberhard Graether bb5c1d49b6 ui: Fixes for release ...

* improved color scheme contrasts
* fixed code view single not updated to font size change
* fixed tooltip shown when hovering error location
* fixed previous reference count shown when fulltext search has no results

2017-08-10 03:16:29 +02:00

..

data

ui: Fixes for release

2017-08-10 03:16:29 +02:00

user

ressource: Fixed tictactoe

2017-08-09 12:25:12 +02:00