Rated 5 out of 5 stars

deur Messiaen op Des. 20, 2024 · permalink

Does exactly what it says. Would be nice if it scaled text without needing to reopen the window (this is what would lead new users to think it doesn't work), but it only needs to be done once, so - excellent. Thank you very much.