search

AlloyTools / org.alloytools.alloy

Alloy is a language for describing structures and a tool for exploring them. It has been used in a wide range of applications from finding holes in security mechanisms to designing telephone switching networks. This repository contains the code for the tool.
Other
709 stars 124 forks source link

Copy text from Alloy tool and paste into Powerpoint, retaining color-coding #70

Closed RogerCostello closed 1 year ago

RogerCostello commented 6 years ago

The Alloy tool nicely color-codes reserved words. When I copy text from the Alloy tool and paste the text into Powerpoint, the color-coding is lost. Please provide a way to copy the text such that it can be pasted into Powerpoint (or Word) without losing the color-coding (formatting).

graymalkin commented 5 years ago

I've been using VSCode with [https://marketplace.visualstudio.com/items?itemName=DongyuZhao.alloy-vscode]() and [https://marketplace.visualstudio.com/items?itemName=ArashSahebolamri.alloy]().

The first extension on it's own should mean you can copy bits of alloy code with the VSCode syntax highlighting into Powerpoint (etc). The 2nd means you might not need to have two editors for a project.

pkriens commented 1 year ago

I think in the long run we should move to vscode completely. Closing it since this is unlikely to be picked up.