michael_abrahams writes
It is nice to have the option to write a CSS file with an editor of choice. However I expect most users like myself would only want to make very small changes like font and color, and switching context to a whole different app and reading/writing files to disk is more trouble than it’s worth in those cases. It would be nice to be able to edit the CSS in the User Interface tab using a dialog box, the way it’s done with the "Edit result page html header insert" button in the Results List tab.
medoc writes
Are you referring to the snippets window ? I had a look at the code and it could certainly use improvement and cleanup, this was an even quicker hack than the rest of the recoll GUI …
medoc writes
This should be fixed by https://bitbucket.org/medoc/recoll/commits/22d2d4cbe7cf473010bebcbd72860f40fb1196bd
The patch should work with the 1.20 branch too.