It should be possible to provide options to ReactWidget.

[jbicker]

Description

It is currently not possible to provide widget options to ReactWidget. This should be possible.

Reproduction Steps

Extend ReactWidget and try to provide options to super class.

theia/packages/core/src/browser/widgets/react-widget.tsx

Line 29 in cc9453d

super();

[akosyakov]

The motivation here is ability to provide custom html node without dealing with embedded widgets, i.e. something like:

super({
   node: document.createElement('div').appendChild(document.createElement('div'))
});
// this is node which is used for react rendering
this.node.id = 'child-node';
// this first div, now we can mutate it
// without being afraid that react will wipe out manually added content
(this.node.parentNode as HTMLElement).id = 'parent-node';