@peterleinchen says: How hard was it?
Me: Not hard at all, then made even easier with wgs’s slimline code.
@peterleinchen says: did you encounter any problems yet?
Me: Not as yet, but then i don’t rely on the email client, I use my PC for that.
@Sefriol says: text selection within emails might conflict with pull-down. Might be a good idea to check.
Me: I’ve just checked with both plain and HTML mail, I can copy (and paste contents into a text message, reliably) and pull down the menu. The selected text stays selected while the pulley menu is pulled down completely and clipboard does honour what was copied.
So far, so good.
UPDATE 19/10/2020
Well, one user already spotted a problem with my patch, deleting the mail when in mail view doesn’t delete the mail, so I returned to my original patch contents which fixes this problem in version 0.1-2
Please use version 0.1-2