Gildas
54e8cf5fa4
added option to include the infobar in saved pages (fix #243)
|
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 | |