Merge pull request #31 from jmoenig/master

Update CS10 Fork

1 files changed, 3 insertions, 2 deletions

diff --git a/paint.js b/paint.js
index e3a01af..ee40b23 100644
--- a/paint.js
+++ b/paint.js
@@ -52,6 +52,7 @@
     September 16 - flood fill freeze fix (Kartik)
     Jan 08 - mouse leave dragging fix (Kartik)
     Feb 11 - dynamically adjust to stage dimensions (Jens)
+    Apr 30 - localizations (Manuel)
 
  */
 
@@ -65,7 +66,7 @@
 
 // Global stuff ////////////////////////////////////////////////////////
 
-modules.paint = '2014-February-11';
+modules.paint = '2014-May-02';
 
 // Declarations
 
@@ -372,7 +373,7 @@ PaintEditorMorph.prototype.populatePropertiesMenu = function () {
     c.add(pc.colorpicker);
     //c.add(pc.primaryColorButton);
     c.add(pc.primaryColorViewer);
-    c.add(new TextMorph("Brush size"));
+    c.add(new TextMorph(localize("Brush size")));
     c.add(alpen);
     c.add(pc.constrain);
 };