Gildas 5909443455 integration of the annotation editor (fixes #161) 6 years ago
..
ui-button.js 7af01ec53c fixed process cancellation 6 years ago
ui-commands.js 7423302b54 fixed regression when saving with the shortcut 6 years ago
ui-editor.js 5909443455 integration of the annotation editor (fixes #161) 6 years ago
ui-main.js 1f61985943 renamed bg.menu to bg.menus 6 years ago
ui-menus.js 5909443455 integration of the annotation editor (fixes #161) 6 years ago
ui-options.js 5909443455 integration of the annotation editor (fixes #161) 6 years ago