Gildas
14bd405120
added "auto-close the tab after the page is saved" option (fix #185)
|
há 6 anos atrás | |
|---|---|---|
| .. | ||
| ui-button.js | há 6 anos atrás | |
| ui-commands.js | há 6 anos atrás | |
| ui-main.js | há 6 anos atrás | |
| ui-menus.js | há 6 anos atrás | |
| ui-options.js | há 6 anos atrás | |