From 328107be4dba50739068b7cb71b2d60adb6907f8 Mon Sep 17 00:00:00 2001 From: ansuz Date: Fri, 11 Aug 2017 14:26:08 +0200 Subject: [PATCH] translation key for using tabs --- customize.dist/translations/messages.js | 1 + 1 file changed, 1 insertion(+) diff --git a/customize.dist/translations/messages.js b/customize.dist/translations/messages.js index dfc404bcf..9d2db4a1a 100644 --- a/customize.dist/translations/messages.js +++ b/customize.dist/translations/messages.js @@ -470,6 +470,7 @@ define(function () { out.settings_logoutEverywhereConfirm = "Are you sure? You will need to log in with all your devices."; out.settings_codeIndentation = 'Code editor indentation (spaces)'; + out.settings_codeUseTabs = "Indent using tabs (instead of spaces)"; out.upload_title = "File upload"; out.upload_serverError = "Server Error: unable to upload your file at this time.";