rename group/ungroup to nest/flatten
This commit is contained in:
parent
71f94e30d5
commit
522103a0a6
3 changed files with 8 additions and 8 deletions
|
|
@ -433,8 +433,8 @@ function ui_build() {
|
|||
h.button({ _: 'intersect', onclick: sketch.boolean.intersect }),
|
||||
h.button({ _: 'difference', onclick: sketch.boolean.difference }),
|
||||
h.hr(),
|
||||
h.button({ _: 'group', onclick: sketch.boolean.group }),
|
||||
h.button({ _: 'ungroup', onclick: sketch.boolean.ungroup }),
|
||||
h.button({ _: 'nest', onclick: sketch.boolean.nest }),
|
||||
h.button({ _: 'flatten', onclick: sketch.boolean.flatten }),
|
||||
])
|
||||
]),
|
||||
h.div({ class: "sketch-off" }, [
|
||||
|
|
|
|||
Loading…
Reference in a new issue