edit mode button in info dialog
settings.js, fixes info-button, edit-mode indicator, themes