in reply to Padre Workaround?
switched to Padre which I like much better...of course it has also been abandoned
Looking at the Padre GitHub repo, it seems it was last updated 7 months ago. So, perhaps not permanently abandoned.
Maybe an enthusiastic offer of assistance might be enough to kick it back into life!
|
|---|