posts tagged: UI

4 posts

• 2022-10-14
  resizing tab width on GitHub diffs #diff#github#browser hack#UI
• 2016-01-13
  how to mark an email as "not-spam" in Google's Inbox #UI#google#GMail#workaround
• 2015-03-06
  jiggling the handle of OS X 10.8.5's dock #MacOS#UI#dock#workaround#bug
• 2014-10-14
  sometimes iTunes doesn't show the currently-playing song's name and position #iTunes#MacOS#UI#bug#workaround