[Github-comments] Re: [geany/geany-plugins] Remove unusable plugins: DevHelp, GeanyPy, Multiterm (PR #1217)

2023-03-16 Thread Enrico Tröger via Github-comments
Merged #1217 into master. -- Reply to this email directly or view it on GitHub: https://github.com/geany/geany-plugins/pull/1217#event-8772067041 You are receiving this because you are subscribed to this thread. Message ID:

[Github-comments] Re: [geany/geany-plugins] Remove unusable plugins: DevHelp, GeanyPy, Multiterm (PR #1217)

2023-03-09 Thread Colomban Wendling via Github-comments
@eht16 Fine with me, I now merged the webhelper part, so at least I got the ball moving again (and I think it's in a fair enough state anyway). BTW I just gave a quick look at multiterm, and it's less trivial than I expected, so it'd require somebody actually motivated to do it. -- Reply to th

[Github-comments] Re: [geany/geany-plugins] Remove unusable plugins: DevHelp, GeanyPy, Multiterm (PR #1217)

2023-03-07 Thread Enrico Tröger via Github-comments
@b4n Alright, Webhelper is back in the game. I would like to restart the "merge in about a week counter" to get this done. -- Reply to this email directly or view it on GitHub: https://github.com/geany/geany-plugins/pull/1217#issuecomment-1459624766 You are receiving this because you are subscri

[Github-comments] Re: [geany/geany-plugins] Remove unusable plugins: DevHelp, GeanyPy, Multiterm (PR #1217)

2023-03-07 Thread Enrico Tröger via Github-comments
@eht16 pushed 2 commits. a7c921ddfa31a0a6847d02b2bacf3698429baaa0 Remove unusable plugins: DevHelp, GeanyPy, Multiterm 819efce62614a8a16f8d27a49e057b95cce2aa4c Re-add WebHelper plugin -- View it on GitHub: https://github.com/geany/geany-plugins/pull/1217/files/ae73705bd5f3faffb5fd84222d96562a

[Github-comments] Re: [geany/geany-plugins] Remove unusable plugins: DevHelp, GeanyPy, Multiterm (PR #1217)

2023-02-16 Thread Thomas Martitz via Github-comments
Probably #1224 -- Reply to this email directly or view it on GitHub: https://github.com/geany/geany-plugins/pull/1217#issuecomment-1433830155 You are receiving this because you are subscribed to this thread. Message ID:

[Github-comments] Re: [geany/geany-plugins] Remove unusable plugins: DevHelp, GeanyPy, Multiterm (PR #1217)

2023-02-16 Thread elextr via Github-comments
@b4n, "that PR"? Which PR? -- Reply to this email directly or view it on GitHub: https://github.com/geany/geany-plugins/pull/1217#issuecomment-1433827390 You are receiving this because you are subscribed to this thread. Message ID:

[Github-comments] Re: [geany/geany-plugins] Remove unusable plugins: DevHelp, GeanyPy, Multiterm (PR #1217)

2023-02-16 Thread Colomban Wendling via Github-comments
> Thanks for pushing the old uncompletely work, if anyone wants to pick it up, > now they can. > > If nobody stops me, I will merge this in a week so that we finally get a > green CI again. Actually if it's alright with you, I'd rather merge that PR and see how it goes. I just went over it an

[Github-comments] Re: [geany/geany-plugins] Remove unusable plugins: DevHelp, GeanyPy, Multiterm (PR #1217)

2023-02-12 Thread Enrico Tröger via Github-comments
> @eht16 well done for tricking me into giving it another shot ;) Though you > only got bare minimum resurrection from old work, but that doesn't actually > don't look that bad, not sure why I never submitted it. This wasn't completely intended by me but nice that it worked :). Thanks for pushin

[Github-comments] Re: [geany/geany-plugins] Remove unusable plugins: DevHelp, GeanyPy, Multiterm (PR #1217)

2023-02-05 Thread elextr via Github-comments
> multiterm could likely be salvaged with relatively low effort? Just needs "somebody" to do it ;-) -- Reply to this email directly or view it on GitHub: https://github.com/geany/geany-plugins/pull/1217#issuecomment-1418332620 You are receiving this because you are subscribed to this thread. Me

[Github-comments] Re: [geany/geany-plugins] Remove unusable plugins: DevHelp, GeanyPy, Multiterm (PR #1217)

2023-02-05 Thread Colomban Wendling via Github-comments
wrt the others, FWIW I guess that * devhelp is kind of a lost cause short of bundling libdevhelp * geanypy as well, and I don't know feature difference, but indeed peasy is probably more current anyway * multiterm could likely be salvaged with relatively low effort? -- Reply to this email direct

[Github-comments] Re: [geany/geany-plugins] Remove unusable plugins: DevHelp, GeanyPy, Multiterm (PR #1217)

2023-02-05 Thread Colomban Wendling via Github-comments
@eht16 well done for tricking me into giving it another shot ;) Though you only got bare minimum resurrection from old work, but that doesn't actually don't look that bad, not sure why I never submitted it. -- Reply to this email directly or view it on GitHub: https://github.com/geany/geany-pl

[Github-comments] Re: [geany/geany-plugins] Remove unusable plugins: DevHelp, GeanyPy, Multiterm (PR #1217)

2023-02-05 Thread Colomban Wendling via Github-comments
re WebHelper, I kind of plan to port it to something not dead someday (webkit2), but it's been a long while and it didn't happen, mostly as @elextr mentioned because it means some non-trivial rewrites. Also, I don't actually use that plugin very much (otherwise I probably would have picked this

[Github-comments] Re: [geany/geany-plugins] Remove unusable plugins: DevHelp, GeanyPy, Multiterm (PR #1217)

2023-01-15 Thread elextr via Github-comments
Well to be fair, Geanypy has a dependency that has stated it will never be newer than GTK2, so "upgrading" would be a rewrite. So since it was a rewrite @kugel- replaced Geanypy with Peasy, which is also better, just its not been added to GP. I think its in some distros (Arch AUR at least), bu

[Github-comments] Re: [geany/geany-plugins] Remove unusable plugins: DevHelp, GeanyPy, Multiterm (PR #1217)

2023-01-15 Thread Enrico Tröger via Github-comments
It feels weird to delete plugins from @b4n, @kugel- and @codebrainz :upside_down_face: I guess you do not intend to update any of those plugins? -- Reply to this email directly or view it on GitHub: https://github.com/geany/geany-plugins/pull/1217#issuecomment-1383195689 You are receiving this