Gabriel Grinberg
02/19/2023, 9:40 PMJarno Montonen
02/20/2023, 7:35 AMGabriel Grinberg
02/20/2023, 7:55 AMJarno Montonen
02/20/2023, 8:51 AMGabriel Grinberg
02/20/2023, 9:23 AMs
for selecting the closest pin to the mouse, which makes it even easier than drag-to-connect. Need to hint it somehowJarno Montonen
02/20/2023, 1:17 PMIbro
02/20/2023, 3:11 PMGabriel Grinberg
02/20/2023, 3:28 PMGarth Goldwater
02/26/2023, 2:30 AMshift + /
(“?”) to pop up available hotkeys given the state (current selection, hover or whatever) is something i’ve seen in a few apps