Hacker News new | ask | show | jobs
by 0x49d1 453 days ago
They did interesting things with priorities of keyboard shortcuts for the browser and changing the addressbar. Discussions: https://www.reddit.com/r/vivaldibrowser/comments/1jdzoyv/viv...