support karel in inline editor