Monthly Archives: October 2018

The future of AlternateTab, and why you need not worry

Any time someone publishes a “The top n GNOME Shell extensions” article, there’s a fair chance that it will include the AlternateTab extension. That is a bit sad to be honest. Not because it would be wrong for users to prefer a … Continue reading

Posted in Uncategorized | 8 Comments