Open jwilk opened 5 years ago
As noted in #18, it would be helpful if the Settings → External editor… dialog had an option for automatically launching a terminal emulator.
As noted in #18, it would be helpful if the Settings → External editor… dialog had an option for automatically launching a terminal emulator.