Ich habe meine Umgebungsschriftarten in den letzten ein oder zwei Jahren so eingerichtet, dass sie deutlich kleiner und (für mich) leichter zu lesen sind, zusammen mit einer Reihe anderer GUI-Verbesserungen. Ich habe jedoch viele Dinge vergessen, die ich getan habe, um es wieder zu tun. Nach einem...