pinselimo

This PR turns the ```GtkLabel``` into a ```GtkButton```. This has some visual advantages: + The ```:hover``` qualifier can be set on modules in ```style.css``` + There is a nice hover...

# Description In the install script paths containing equals signs (e.g. as argument to the ```--offline``` flag) are truncated. ```cut``` is set to split by equals sign and take the...

I've updated the entire package for Idris 2. Leaving this PR here so people can find the new version.