Merge branch 'rel-4.5' of github.com:GridSpace/grid-apps into rel-4.5
This commit is contained in:
commit
77d81db6bc
2 changed files with 3 additions and 3 deletions
2
.github/workflows/build-docs.yml
vendored
2
.github/workflows/build-docs.yml
vendored
|
|
@ -1,7 +1,7 @@
|
||||||
name: 'docs-publish'
|
name: 'docs-publish'
|
||||||
on:
|
on:
|
||||||
push:
|
push:
|
||||||
branches: [ master ]
|
branches: [ rel-* ]
|
||||||
paths:
|
paths:
|
||||||
- 'docs/**'
|
- 'docs/**'
|
||||||
workflow_dispatch:
|
workflow_dispatch:
|
||||||
|
|
|
||||||
|
|
@ -751,8 +751,8 @@ export async function holes(settings, widget, individual, rec, onProgress) {
|
||||||
h.selected = (!individual && Math.abs(h.area - area) <= area * 0.05); // for same size selection
|
h.selected = (!individual && Math.abs(h.area - area) <= area * 0.05); // for same size selection
|
||||||
})
|
})
|
||||||
|
|
||||||
console.log("unfiltered circles",circles);
|
// console.log("unfiltered circles",circles);
|
||||||
console.log("drills",drills);
|
// console.log("drills",drills);
|
||||||
|
|
||||||
drills = drills.filter(drill => drill.depth > 0);
|
drills = drills.filter(drill => drill.depth > 0);
|
||||||
widget.shadowedDrills = shadowedDrills;
|
widget.shadowedDrills = shadowedDrills;
|
||||||
|
|
|
||||||
Loading…
Reference in a new issue