Inkdrop いろいろ
open-in-external-editor - Plugin - Inkdrop
https://my.inkdrop.app/plugins/open-in-external-editor