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

…