add editor metrics and file decorations workbench contributions#86

juancampa merged 3 commits into

membranemembrane-io/vscode:membranefrom

thomas/direct-editor-infomembrane-io/vscode:thomas/direct-editor-infoCopy head branch name to clipboard