Hacker News new | ask | show | jobs
by dman 3562 days ago
This might possibly be fixed by using PackageResourceViewer. It allows you to edit the package files for themes and have your changes stick. (I use this to change the font size for the tree on the left in the theme file, and I only had to make this change once).