From ae0b2ca1a8b4857de69eeefa317f7b818f253f67 Mon Sep 17 00:00:00 2001 From: ansuz Date: Fri, 11 Aug 2017 12:55:10 +0200 Subject: [PATCH 1/3] add label for code indentation --- customize.dist/translations/messages.js | 2 ++ www/settings/main.js | 3 +-- 2 files changed, 3 insertions(+), 2 deletions(-) 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' }); + $('