Giuseppe Penone
Giuseppe Penone
Thanks @keypulse I'm on it
Should be back tomorrow (sorry)
It is still down unfortunately :( I'm trying to get hold of my brother who has been managing it so far to understand why it is still not available, I'll...
It is finally up now, sorry
Thanks for notifying, it seems an issue with the domain, I hope we won't have to wait for Monday to have it sorted out.
I'll talk with my brother (responsible for the web site) tomorrow in case the domain is not sorted I'll try and have the IP address instead
Seems ok to me https://www.giuspen.net/
AFAIK it is not currently possible with the library in use https://wiki.gnome.org/Projects/GtkSourceView
Right clicking a selection of rich text to apply a syntax highlighting (colours plus monospace) is feasible without too big effort but going further, starting from keeping the colours up...
Hi, the current library in use pygtk is very old and is going to be replaced by PyQt5 which likely supports that. The porting will take some time though.