unified both check mark symbols

src/gui.js

@@ -5410,7 +5410,7 @@ IDE_Morph.prototype.languageMenu = function () {
         world = this.world(),
         pos = this.controlBar.settingsButton.bottomLeft(),
         tick = new SymbolMorph(
-            'checkMark',
+            'tick',
             MorphicPreferences.menuFontSize * 0.75
         ),
         empty = tick.fullCopy();

src/symbols.js

@@ -91,7 +91,6 @@ SymbolMorph.prototype.names = [
     'poster',
     'flash',
     'brush',
-    'checkMark',
     'tick',
     'checkedBox',
     'rectangle',
@@ -303,9 +302,6 @@ SymbolMorph.prototype.renderShape = function (ctx, aColor) {
     case 'brush':
         this.renderSymbolBrush(ctx, aColor);
         break;
-    case 'checkMark':
-        this.renderSymbolCheckMark(ctx, aColor);
-        break;
     case 'tick':
         this.renderSymbolTick(ctx, aColor);
         break;
@@ -1041,23 +1037,7 @@ SymbolMorph.prototype.renderSymbolBrush = function (ctx, color) {
 };
 
 SymbolMorph.prototype.renderSymbolTick = function (ctx, color) {
-    // draw a small check mark
-    var w = this.symbolWidth(),
-        h = this.size,
-        l = Math.max(w / 20, 0.5);
-
-    ctx.fillStyle = color.toString();
-    ctx.beginPath();
-    ctx.moveTo(w * 0.2, h * 0.5);
-    ctx.lineTo(w * 0.5, h - l);
-    ctx.lineTo(w - l * 2, l * 2);
-    ctx.lineTo(w * 0.5, h * 0.65);
-    ctx.closePath();
-    ctx.fill();
-};
-
-SymbolMorph.prototype.renderSymbolCheckMark = function (ctx, color) {
-    // draw a large check mark
+    // draw a check mark
     var w = this.symbolWidth(),
         h = this.size;
 
@@ -1067,7 +1047,7 @@ SymbolMorph.prototype.renderSymbolCheckMark = function (ctx, color) {
     ctx.lineTo(w * 0.5, h);
     ctx.lineTo(w * 0.8, h * 0.3);
     ctx.lineTo(w, 0);
-    ctx.lineTo(w * 0.8, h * 0.05);
+    ctx.lineTo(w * 0.65, h * 0.2);
     ctx.lineTo(w * 0.5, h * 0.65);
     ctx.closePath();
     ctx.fill();