Comment by dlandau | Hacker News Reader

Top New Best Ask Show Jobs

Comment by dlandau | Hacker News Reader

Parent Full thread

I thought I recognized the GitHub username, you contributed to my GNOME Shell extension years ago!

Just wondering, what was the extension?

Looks like this one! https://github.com/nevesnunes/switcher

Reply on news.ycombinator.com