Paulo Reis a9e0185098 Added tooltip with keyboard shortcut in the recompile button.		2016-06-14 17:02:22 +01:00
..
editor	Added tooltip with keyboard shortcut in the recompile button.	2016-06-14 17:02:22 +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