Diamond 1.3.8 print selection does not work
Posted: Wed Aug 17 2022 9:46 pm
Built version 1.3.8 of Diamond on 08/15/2022 against tip of tip for master CopperSpice.
- Open a source file
- Select some source lines
- File->print and check the "Selection" button