graph drawing tool

bugfix in source editor: don't clear selection on M-arrow

Created by  akkartik  on June 9, 2024
TMWSQNZD3AOV2SMW5E2CKG7ICZLAHPWHDELOG53A4LCF73HFAP4AC
Change contents