Closed gdementen closed 1 year ago
would make the window title and plot window title much more useful
done in 11409e60aca874f28a3794372d1c9de3672ef8f3
would make the window title and plot window title much more useful