Gildas 92cdcf3820 added 'auto-save periodically' option (see #165) vor 7 Jahren
..
bg-ui.js c9632b9873 fixed issue #152 vor 7 Jahren
ui-button.js 30b5c75150 removed console.log vor 7 Jahren
ui-menu.js 65eb9838af used constants to store localized strings vor 7 Jahren
ui-options.js 92cdcf3820 added 'auto-save periodically' option (see #165) vor 7 Jahren