Christopher Howard Fri, 01 Nov 2024 11:24:13 -0700
I am not have trouble with this on my current system, either in celestia or celestia-gtk. Am closing my old bug.
-- Christopher Howard