How can I listen to commands from a Theia plugin?

#1

Theia API has many useful events that we can hook into, but I need to know when a particular command is executed, is there something like onCommandExecuted interface or any other alternative for that?

[original thread by jvsoares]

#2

CommandService.onWillExecute

#3

there will be also added CommandService.onDidExecute in https://github.com/eclipse-theia/theia/pull/6921

#4

I can extract a commit if it is urgent

#5

Please file an issue if it is urgent I will extract a PR against it then.

#6

[jvsoares]

That would be awesome! Exactly what I was looking for, I filed an issue here https://github.com/eclipse-theia/theia/issues/7270