Code

fix cut resize on creation#75

Code

Open

joekrystowski wants to merge 2 commits intomastereddiekrystowski/existential-graphs:masterfrom cut-creation-resizeeddiekrystowski/existential-graphs:cut-creation-resizeCopy head branch name to clipboard

+2-3

Commits

Commits on Jun 21, 2022

• fix cut resize on creation

  joekrystowski

  committed
  e2897f8

Commits on Jul 1, 2022

• fix excessive cut size on insertdblcut

  joekrystowski

  committed
  aad897d