Paulo Reis e891a47a9e Better support for larger text in keyboard tooltips. 10 tahun lalu
..
editor e891a47a9e Better support for larger text in keyboard tooltips. 10 tahun lalu
list 9706585d21 Fix translate in delete modal confirm button 10 tahun lalu
editor.jade ff7632d6c7 Don't reload editor with file tree or PDF viewer hidden 10 tahun lalu
list.jade 9d61a58710 slighly change layout of notifications & insert html via angular 10 tahun lalu