From 2a4a4725cf2f616662fc6e04f0dc6cbbcd822cf4 Mon Sep 17 00:00:00 2001 From: Stewart Allen Date: Tue, 28 Apr 2020 11:37:10 -0400 Subject: [PATCH] relax clipper cleaning to speed up slicing --- js/geo.js | 2 +- js/kiri.js | 4 +++- 2 files changed, 4 insertions(+), 2 deletions(-) diff --git a/js/geo.js b/js/geo.js index 00626317..f2444522 100644 --- a/js/geo.js +++ b/js/geo.js @@ -367,7 +367,7 @@ var gs_base = exports; // clipper multiplier clipper : 100000, // clipper poly clean - clipperClean : 50 + clipperClean : 250 }; BASE.util = { diff --git a/js/kiri.js b/js/kiri.js index aac84201..523ef496 100644 --- a/js/kiri.js +++ b/js/kiri.js @@ -744,7 +744,8 @@ self.kiri.copyright = exports.COPYRIGHT; preserveMax = API.var.layer_max, preserveLayer = API.var.layer_at, totalProgress, - track = {}; + track = {}, + now = UTIL.time(); // require topo be sent back from worker for local printing settings.synth.sendTopo = false; @@ -773,6 +774,7 @@ self.kiri.copyright = exports.COPYRIGHT; if (sliced) { // update segment time if (lastMsg) segtimes[segNumber+"_"+lastMsg] = mark - startTime; + segtimes.total = UTIL.time() - now; DBUG.log(segtimes); API.event.emit('slice', getMode()); updateSliderMax(true);