I think we should not get this PR leaving forgotten, unmerged and open. So, for me it would be OK to merge if this implementation behaves like the existing implementation in the Addons plugin. There are at least two differences: - the plugin uses both clipboards and I'd say we should keep this - the plugin offers a keybinding for the copy action
-- You are receiving this because you are subscribed to this thread. Reply to this email directly or view it on GitHub: https://github.com/geany/geany/pull/2550#issuecomment-671021379
