Ability to edit a post when a topic is closed

[Groberto]

When we're admin, it would be cool to have ability to edit a post even if the topic is closed. It's a little bit annoying to have to unlock, edit and lock again.

[julian]

@Groberto From what I can tell here, there's no code that forbids a post editing attempt if the topic is locked... though perhaps I am looking at the wrong place.

What happens when you try to edit? Is the button missing from the front-end?

[Groberto]

Yes the button is missing :

Imgur

[Groberto]

Thank you very much for your speed!
But for a better understanding would it not be better to re-add the "locked" button next to the move button?