On Friday, 20 October 2023 at 21:03:53 UTC, Adam D Ruppe wrote:
On Friday, 20 October 2023 at 20:43:21 UTC, Felipe Lema wrote:[...]My minigui.d can do this fairly easily: ``` import arsd.minigui; [...]
O-M-D ! This is exactly what I needed. Many thanks
