Hacker News new | ask | show | jobs
by FireInsight 1085 days ago
You can change display scaling to make GNOME small.