Simon Højberg
Simon Højberg
Whats the use case for this? Seems weird to me to have an alias pointing at a different branch or project. I guess this is a our way to copy?...
Keyboard commands for moving up and down (arrow keys and j/k), and you can close open definitions with x (holding it works for closing all, but getting something like a...
Here's the PR to fix the scrolling portion of this ticket: https://github.com/unisonweb/ucm-desktop/pull/42
I'm not 100% convinced of a minimap yet, but I'll definitely implement a "close all definitions" keyboard shortcut.
Close all: https://github.com/unisonweb/ucm-desktop/pull/43
Hmm this looks to be a bit of a deeper issue than would appear on the surface. In signatures, it looks like we're not pretty printing them as a reference...
Close in favor of https://github.com/unisoncomputing/share-ui/pull/101
IIRC, this is the same library and author, but Ryan changed their username to `ryan-haskell`, which we should probably use going forward.
I think hiding is the right UX here. We don't want an ever growing list of namespaces a user has deleted. This will cause a lot of confusion and annoyance...
@ChrisPenner we had talked about this being based off of a topic group called "project activity" or something similar. This work is in anticipation of that. The details of what...