flandreas / antares

Digital circuit learning platform
49 stars 6 forks source link

Localize open circuit in explorer #553

Closed flandreas closed 1 year ago

flandreas commented 1 year ago

Provide a button in the explorer that localizes the currently focused circuit in the explorer's tree. Localization is done by scrolling to the corresponding tree node, thereby auto-expanding folders, and possibly selecting the tree node.