Trying to disable the KeyTool in Theia I found out that I cannot rebind it as it is currently consumed by a multi-binding.
Naming the binding neither works, as rebinding a named binding rebinds all bindings with the same service identifier, not just the one with the same name.
So I went the Theia-way for two-staged binding wit a dynamic binding.
Trying to disable the KeyTool in Theia I found out that I cannot rebind it as it is currently consumed by a multi-binding. Naming the binding neither works, as rebinding a named binding rebinds all bindings with the same service identifier, not just the one with the same name. So I went the Theia-way for two-staged binding wit a dynamic binding.