ipm-overview.board.ipma.json

Click a node

select it — the inspector says where else it is used, and every other usage is ringed

Double-click

go to the next usage. On a node drawn twice in ONE panel, the next place of it; double-press a place you can see to land on THAT one

n / N

next / previous usage, without leaving the keyboard

Click an edge

select the statement; the same statement drawn in another panel is one double-press away

identity / echo

Filters: identity is “this IS the same node”, echo is “the same shape, used elsewhere”

Drag

pan, from anywhere — a drag that starts on a node still pans

Wheel

zoom around the cursor

f / 0

fit the whole board

Esc

step back out of whatever is on top: a dialog, a menu, a panel filling the view, then the panel that has the keys, then the selection

◀ ▶ or [ ]

step back / forward through the views you have been through · in-app, separate from the browser's own Back/Forward

⊞ in a panel's corner

open the panel here, beside its neighbours — nothing else moves. Press it again to close it

⤢ in a panel's corner

the same open, and fill the view with it. Esc gives the view back and leaves the panel open

Click inside an open panel

that panel takes the wheel and the keys — its edge is lit while it has them. Esc hands them back to the board

Ctrl/⌘+click or the corner ⊕

go deeper into what a node contains; Alt as well steps one level instead of all of them

Esc with nothing focused

close every open panel

/

search every node and edge — ↑↓ step the hits, Enter opens one

a b · a+b

AND — every term must match

a/b

OR, binding tighter than AND

(a b)/c

parentheses group, so priority is explicit

Drag a bar

move the whole card; drop it on another card to zip them together

▾ on the first panel

fold the card away; its ⋮ is the card's menu — hide it, or tick any panel on and off

⋮ on any panel

that panel's own moves, plus Panel controls on the bars and Reset the arrangement