Repository navigation

Small feature: go to node with given serial number - #3963

Open

WolframPfeifer wants to merge 2 commits into

mainfrom

pfeifer/gotoNode

Open

Small feature: go to node with given serial number#3963
WolframPfeifer wants to merge 2 commits into
mainfrom
pfeifer/gotoNode

Commits on Oct 11, 2026
- small feature: goto node by serial number
  
  WolframPfeifer
  authored and
  wadoon
  committed
  8c2b1d9
- showing the annotated nodes as bookmarks in the goto dialogue.
  
  mattulbrich
  authored and
  wadoon
  committed
  4bda09e