mirror of
https://github.com/tiennm99/serena.git
synced 2026-09-19 10:20:59 +00:00
Michael Panchenko
8c264897ba
The editing mode now disabled line-based editing tools. These tools may be completely removed in the future