Important Notice: Our web hosting provider recently started charging us for additional visits, which was unexpected. In response, we're seeking donations. Depending on the situation, we may explore different monetization options for our Community and Expert Contributors. It's crucial to provide more returns for their expertise and offer more Expert Validated Answers or AI Validated Answers. Learn more about our hosting issue here.

Can you print or capture the diagram generated by the Alloy Visualizer?

April 26, 2017Alloy capture diagram print visualizer

0

Posted

Can you print or capture the diagram generated by the Alloy Visualizer?

1 Answer

0

Posted

Yes, you can use the mouse to right click on the diagram, then choose “print” to print it using Java print services. (For single-button mouse users, you can hold down the Control key then click). Alternatively, you can click the Dot button on the toolbar to see the textual representation of the diagram; simply copy & paste the text into a text file, then you can use the dot program in GraphViz to generate PS, EPS, JPEG, GIF, PNG, and many other output formats.