Indeed, the <esc> key is still broken (although the context menu "End Tool" item works). I'll dig into it....
Indeed, the <esc> key is still broken (although the context menu "End Tool" item works). I'll dig into it....