Hacker News new | ask | show | jobs
by Jtsummers 1675 days ago
> So I went to the settings, and accidentially deleted the combobox that allows you to choose the font.

I'm genuinely curious how you did this, and how you did it in a way that was permanent. The customization screens are read-only by default (except for those boxes you type text in to specify the customization) and they're programmatically generated, not fixed.