From 1fb0b7799834280a759eb238b8d138b60223b1c2 Mon Sep 17 00:00:00 2001
From: jmoenig <jens@moenig.org>
Date: Tue, 4 Feb 2014 15:29:14 +0100
Subject: Flat line end option in the settings menu, saved with the project

---
 gui.js | 11 +++++++++++
 1 file changed, 11 insertions(+)

(limited to 'gui.js')

diff --git a/gui.js b/gui.js
index 96903a0..7640393 100644
--- a/gui.js
+++ b/gui.js
@@ -2211,6 +2211,16 @@ IDE_Morph.prototype.settingsMenu = function () {
         'uncheck for greater speed\nat variable frame rates',
         'check for smooth, predictable\nanimations across computers'
     );
+    addPreference(
+        'Flat line ends',
+        function () {
+            SpriteMorph.prototype.useFlatLineEnds =
+                !SpriteMorph.prototype.useFlatLineEnds;
+        },
+        SpriteMorph.prototype.useFlatLineEnds,
+        'uncheck for round ends of lines',
+        'check for flat ends of lines'
+    );
     addPreference(
         'Codification support',
         function () {
@@ -2689,6 +2699,7 @@ IDE_Morph.prototype.newProject = function () {
     StageMorph.prototype.codeMappings = {};
     StageMorph.prototype.codeHeaders = {};
     StageMorph.prototype.enableCodeMapping = false;
+    SpriteMorph.prototype.useFlatLineEnds = false;
     this.setProjectName('');
     this.projectNotes = '';
     this.createStage();
-- 
cgit v1.3.1