portal

https://github.com/djblue/portal
djblue 2020-10-11T21:17:59.001400Z

https://github.com/djblue/portal/commit/47f2216827e162d4b23da64bf3a65be4c8b775fa brings a command palette and shortcuts to portal 🎉

🎉 1
djblue 2020-10-11T21:18:06.001700Z

It isn't released yet, but should be soon

djblue 2020-10-11T21:18:40.002Z

You can play with it via https://djblue.github.io/portal/

djblue 2020-10-11T21:18:46.002200Z

Feedback welcome

djblue 2020-10-11T21:19:28.002600Z

cmd+shift+p for osx and ctrl+shift+p for linux and windows to bring up the command palette