From 408ed6285d1431c3e1667470e8839818e7509415 Mon Sep 17 00:00:00 2001 From: jmoenig Date: Fri, 22 Mar 2013 11:06:33 +0100 Subject: German translation update for the new "Zoom blocks" feature --- gui.js | 14 +++++++------- 1 file changed, 7 insertions(+), 7 deletions(-) (limited to 'gui.js') diff --git a/gui.js b/gui.js index 9952d77..746746a 100644 --- a/gui.js +++ b/gui.js @@ -2847,13 +2847,13 @@ IDE_Morph.prototype.userSetBlocksScale = function () { this.world(), sample, // pic { - 'normal (1)' : 1, - 'demo (1.2)' : 1.2, - 'presentation (1.4)' : 1.4, - 'big (2)' : 2, - 'huge (4)' : 4, - 'giant (8)' : 8, - 'monstrous (10)' : 10 + 'normal (1x)' : 1, + 'demo (1.2x)' : 1.2, + 'presentation (1.4x)' : 1.4, + 'big (2x)' : 2, + 'huge (4x)' : 4, + 'giant (8x)' : 8, + 'monstrous (10x)' : 10 }, false, // read only? true, // numeric -- cgit v1.3.1