Greasy Fork

New theme bug

https://greasyfork.runtimutd.eu.org/en/users/1485-coolcmd?sort=updated

I made a PR to solve this bug (and two other minor issues) on GF github code. This will be solved in the next release if @JasonBarnabe accepts. Sorry for that.

https://github.com/JasonBarnabe/greasyfork/pull/464