Webide integration

... maybe we should keep the widget too.