Deactivate region mark after dictionary query
commit7ef87709c09792dfa6332fb41a6ec1edd917120a
authorstardiviner <numbchild@gmail.com>
Mon, 13 Mar 2023 01:18:30 +0000 (13 09:18 +0800)
committerstardiviner <numbchild@gmail.com>
Mon, 13 Mar 2023 01:18:30 +0000 (13 09:18 +0800)
tree1df953fac63c1315985f79f37aee5d475c7517bc
parent68ab3e5f78239774d1710874e8a68e3f8498cee3
Deactivate region mark after dictionary query
external-dict.el