Code

Focus/minimization functionality#1285

Code

Open

bobismijnnaam wants to merge 4 commits intodevutwente-fmt/vercors:devfrom focus-ignore-callablesutwente-fmt/vercors:focus-ignore-callablesCopy head branch name to clipboard

+392-34

Commits

Commits on Nov 28, 2024

• Start once more

  bobismijnnaam

  committed
  c8cd875

• Making progress. Having FilterMode as a node works well

  bobismijnnaam

  committed
  f37e08d

• Ported the whole thing, but don't have the syntax yet to test it...!

  bobismijnnaam

  committed
  df61436

Commits on Nov 29, 2024

• Adapting ModifierCollector next

  bobismijnnaam

  committed
  d01e34a