Rework CodeViewer Implementation#1527

camielvs wants to merge 1 commit intomasterTangleML/tangle-ui:masterfrom

12-10-rework_codeviewer_implementationTangleML/tangle-ui:12-10-rework_codeviewer_implementationCopy head branch name to clipboard