diff --git a/customize.dist/translations/messages.js b/customize.dist/translations/messages.js index 7d799f199..482008d59 100644 --- a/customize.dist/translations/messages.js +++ b/customize.dist/translations/messages.js @@ -468,6 +468,8 @@ define(function () { out.settings_logoutEverywhere = "Force log out of all other web sessions"; out.settings_logoutEverywhereConfirm = "Are you sure? You will need to log in with all your devices."; + out.settings_codeIndentation = 'Code editor indentation (spaces)'; + out.upload_title = "File upload"; out.upload_serverError = "Server Error: unable to upload your file at this time."; out.upload_uploadPending = "You already have an upload in progress. Cancel it and upload your new file?"; diff --git a/www/settings/main.js b/www/settings/main.js index 24db12a81..e48371212 100644 --- a/www/settings/main.js +++ b/www/settings/main.js @@ -129,10 +129,10 @@ define([ var createIndentUnitSelector = function (obj) { var proxy = obj.proxy; - console.log('create indent unit selector'); var $div = $('
', { 'class': 'indentUnit element' }); + $('