Paulo Reis e891a47a9e Better support for larger text in keyboard tooltips.		2016-06-15 15:27:30 +01:00
..
editor	Better support for larger text in keyboard tooltips.	2016-06-15 15:27:30 +01:00
list	Fix translate in delete modal confirm button	2016-03-22 14:44:13 +00:00
editor.jade	Don't reload editor with file tree or PDF viewer hidden	2016-02-23 15:21:54 +00:00
list.jade	slighly change layout of notifications & insert html via angular	2016-02-04 12:11:45 +00:00