editor component for the pinoccio "web ide"