this allows to drop elements from the files explorer as well as a tab in the editor to be dropped e.g. into an opened terminal to take the path of the resource

Include command id in error message

fix: dispose the this.documentListener

To comply with github's recommended community standards https://github.com/blog/2380-new-community-tools

use editor.colorDecorators for all.