Describe the bug
The property 'editor' can be undefined (see Screenshots section).

To Reproduce
Steps to reproduce the behavior:

1. Start VSCode
2. Check Breakpoints > Promise Rejects and Breakpoints > Uncaught Exceptions
3. Start my extension in debug mode (Debugger > Launch client). I believe, that can be r

Draw.io has many internal options, that can be used to enable additional features and could be exposed to the user.
I identified these as useful:

• mxGraph.prototype.setConnectableEdges

  • make edges connectable
    • would love this feature to be configurable
  • default: false

• mxGraph.prototype.setAllowDanglingEdges

  • edges need to have a src & dst
  • default: true

• `mxGr

Make the animation smoother.

Hi, I am developer of VS Code and I am currently going through those extensions which has custom welcome experience (notifications / views) on install. VS Code provides Settings Sync feature OOB and users can have their machines in sync using this feature. So, when user sync such extensions with custom welcome experience, they should not be seeing welcome experience again in their other machines.

Blocked By: wix/vscode-glean#97

Example:

class Foo extends Component {

  render() {
    return (<div>
      {this.props.foo.map((bar) => <div>{bar.x}</div>)}
    </div>)
  }
}

Current:

 const Foo = props => {
   const foo = useRef();
   const x = useRef();
   return <div>
       {foo.current.map(bar => <div>{x.current}</div>)}
 

Add a topic about how the extension works on Remote Development scenarios, the default/defined approach and alternative ways, like installing on remotes and shared configs