Emanuel Schütze a9144b6d5b Improved go to line number tooltip/popup. (#3028)		2017-03-04 16:00:54 +01:00
..
css	Improved go to line number tooltip/popup. (#3028)	2017-03-04 16:00:54 +01:00
fonts	Fix syntax and style errors and errors after deficient merge conflic	2014-04-08 21:02:09 +02:00
img	Reduce sizes of used logos.	2016-04-13 11:06:50 +02:00
js/core	Error messages and global messaging service (fixes #2949, fixes #1774)	2017-03-03 14:36:31 +01:00
templates	Error messages and global messaging service (fixes #2949, fixes #1774)	2017-03-03 14:36:31 +01:00