Skip to content

Enable "File|Export to tikz" only if active panel is a proof.#210

Merged
jvdwetering merged 1 commit intozxcalc:masterfrom dlyongemallo:export_tikz_conditionalDec 11, 2023
+24

Commits

Commits on Dec 10, 2023