1) it no longer renames, thats stupid, please read my #1180 rant for why. 2) since the implementation is different, it seems reasonable that the label needs to be different, so the change is needed. Given the translation "churn" we do without thought, I doubt this will matter. And I don't see why it should be any harder to translate. 3) Indeed, better suggestions are welcome
-- 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/1190#issuecomment-241939284
