James Allen d813f45d28 Cherry-pick 0e70320 (Select icon based on file extension) from `datajoy` 11 years ago
..
editor d813f45d28 Cherry-pick 0e70320 (Select icon based on file extension) from `datajoy` 10 years ago
list 9706585d21 Fix translate in delete modal confirm button 10 years ago
editor.jade ff7632d6c7 Don't reload editor with file tree or PDF viewer hidden 10 years ago
list.jade 9d61a58710 slighly change layout of notifications & insert html via angular 10 years ago