Francesco

Results 4 comments of Francesco

How to set titlebar hight?

Add a file (if you don't have it already) in ~/.config/gtk-3.0/ named gtk.css with the following (you can tweak the parameters as you like, but this one seems pretty pleasing...

Low resolution windows buttons when using Firefox with no title bar

Unfortunately the problem is still there

Flycheck with Tramp over SSH not working for Python files

Any news about this? It's unfortunate this issue got so little attention, it completely prevents the use of TRAMP with python. @carrete I've tried your fix but unfortunately all checkers...

BUG: page.mediabox not updating correctly when merging

I had the same problem, cropping a pdf changing mediaBox (or TrimBox or cropBox) attributes seems to work fine, saving the cropped page as a new PDF show the cropped...