Skip to content

Add external code editor. The choice is possible from preferences gui.#177

Merged
capocchi merged 1 commit into
masterfrom
version-4.0
Mar 2, 2021
Merged

Add external code editor. The choice is possible from preferences gui.#177
capocchi merged 1 commit into
masterfrom
version-4.0

Commits