Follow-up Comment #4, bug #25567 (project freeciv):
> when I adjust gui_gtk3_22_default_theme_name="Freeciv" its
> reverted at next launch
Does it say something about migrating options in the console?
_______________________________________________________
Reply to this item at:
<http://gna.org/bugs/?25567>
_______________________________________________
Message sent via/by Gna!
http://gna.org/
_______________________________________________
Freeciv-dev mailing list
Freeciv-dev@gna.org
https://mail.gna.org/listinfo/freeciv-dev
