added "log pen vectors" session setting

HISTORY.md

@@ -2,6 +2,7 @@
 
 ## in development:
 * **New Features:**
+    * log pen vectors
     * export pen trails as SVG
     * access pen trails as SVG_Costume: new "pen vectors" reporter variant of "pen trails"
 * **Notable Changes:**
@@ -9,6 +10,9 @@
 * **Translation Updates:**
     * German
 
+### 2019-12-03
+* objects, blocks, threads, gui: added "log pen vectors" session setting
+
 ### 2019-12-02
 * new dev version
 * objects: export pen trails as SVG (under construction)

snap.html

@@ -6,10 +6,10 @@
         <link rel="shortcut icon" href="src/favicon.ico">
         <script type="text/javascript" src="src/morphic.js?version=2019-11-12"></script>
         <script type="text/javascript" src="src/widgets.js?version=2019-10-16"></script>
-        <script type="text/javascript" src="src/blocks.js?version=2019-11-12"></script>
-        <script type="text/javascript" src="src/threads.js?version=2019-12-02"></script>
-        <script type="text/javascript" src="src/objects.js?version=2019-12-02"></script>
-        <script type="text/javascript" src="src/gui.js?version=2019-12-02"></script>
+        <script type="text/javascript" src="src/blocks.js?version=2019-12-03"></script>
+        <script type="text/javascript" src="src/threads.js?version=2019-12-03"></script>
+        <script type="text/javascript" src="src/objects.js?version=2019-12-03"></script>
+        <script type="text/javascript" src="src/gui.js?version=2019-12-03"></script>
         <script type="text/javascript" src="src/paint.js?version=2019-06-27"></script>
         <script type="text/javascript" src="src/lists.js?version=2019-11-15"></script>
         <script type="text/javascript" src="src/byob.js?version=2019-07-12"></script>

src/blocks.js

@@ -148,7 +148,7 @@ CustomCommandBlockMorph, SymbolMorph, ToggleButtonMorph, DialMorph*/
 
 // Global stuff ////////////////////////////////////////////////////////
 
-modules.blocks = '2019-November-12';
+modules.blocks = '2019-December-03';
 
 var SyntaxElementMorph;
 var BlockMorph;
@@ -1464,6 +1464,7 @@ SyntaxElementMorph.prototype.labelPart = function (spec) {
                 {
                     'turbo mode' : ['turbo mode'],
                     'flat line ends' : ['flat line ends'],
+                    'log pen vectors' : ['log pen vectors'],
                     'video capture' : ['video capture'],
                     'mirror video' : ['mirror video']
                 },

src/gui.js

@@ -79,7 +79,7 @@ BlockEditorMorph, BlockDialogMorph*/
 
 // Global stuff ////////////////////////////////////////////////////////
 
-modules.gui = '2019-December-02';
+modules.gui = '2019-December-03';
 
 // Declarations
 
@@ -2868,6 +2868,17 @@ IDE_Morph.prototype.settingsMenu = function () {
         'check to turn on\n visible stepping (slow)',
         false
     );
+    addPreference(
+        'Log pen vectors',
+        function () {
+            StageMorph.prototype.enablePenLogging =
+                !StageMorph.prototype.enablePenLogging;
+        },
+        StageMorph.prototype.enablePenLogging,
+        'uncheck to turn off\nlogging pen vectors',
+        'check to turn on\nlogging pen vectors',
+        false
+    );
     addPreference(
         'Ternary Boolean slots',
         function () {

src/objects.js

@@ -84,7 +84,7 @@ BlockEditorMorph, BlockDialogMorph, PrototypeHatBlockMorph,  BooleanSlotMorph,
 localize, TableMorph, TableFrameMorph, normalizeCanvas, VectorPaintEditorMorph,
 HandleMorph, AlignmentMorph, Process, XML_Element, WorldMap, copyCanvas*/
 
-modules.objects = '2019-December-02';
+modules.objects = '2019-December-03';
 
 var SpriteMorph;
 var StageMorph;
@@ -5196,15 +5196,17 @@ SpriteMorph.prototype.drawLine = function (start, dest) {
 
     if (this.isDown) {
         // record for later svg conversion
-        this.parent.trailsLog.push(
-           [
-                this.snapPoint(start),
-                this.snapPoint(dest),
-                this.color.copy(),
-                this.size,
-                this.useFlatLineEnds ? 'butt' : 'round'
-            ]
-        );
+        if (StageMorph.prototype.enablePenLogging) {
+            this.parent.trailsLog.push(
+                [
+                    this.snapPoint(start),
+                    this.snapPoint(dest),
+                    this.color.copy(),
+                    this.size,
+                    this.useFlatLineEnds ? 'butt' : 'round'
+                ]
+            );
+        }
 
         // draw on the pen-trails layer
         context.lineWidth = this.size;
@@ -7414,6 +7416,7 @@ StageMorph.prototype.codeHeaders = {};
 StageMorph.prototype.enableCodeMapping = false;
 StageMorph.prototype.enableInheritance = true;
 StageMorph.prototype.enableSublistIDs = false;
+StageMorph.prototype.enablePenLogging = false; // for SVG generation
 
 // StageMorph instance creation
 

src/threads.js

@@ -2077,6 +2077,9 @@ Process.prototype.doSetGlobalFlag = function (name, bool) {
     case 'flat line ends':
         SpriteMorph.prototype.useFlatLineEnds = bool;
         break;
+    case 'log pen vectors':
+        StageMorph.prototype.enablePenLogging = bool;
+        break;
     case 'video capture':
         if (bool) {
             this.startVideo(stage);
@@ -2098,6 +2101,8 @@ Process.prototype.reportGlobalFlag = function (name) {
         return this.reportIsFastTracking();
     case 'flat line ends':
         return SpriteMorph.prototype.useFlatLineEnds;
+    case 'log pen vectors':
+        return StageMorph.prototype.enablePenLogging;
     case 'video capture':
         return !isNil(stage.projectionSource) &&
             stage.projectionLayer()