Cannot change city name font for gtk client- too small
Affects | Status | Importance | Assigned to | Milestone | |
---|---|---|---|---|---|
Freeciv |
New
|
Undecided
|
Unassigned | ||
freeciv (Ubuntu) |
Fix Released
|
Undecided
|
Unassigned |
Bug Description
Changing the .freeciv-
Ubuntu 10.10
freeciv-client-gtk:
Installed: 2.2.1-1ubuntu1
Candidate: 2.2.1-1ubuntu1
Version table:
*** 2.2.1-1ubuntu1 0
500 http://
100 /var/lib/
Steps to reproduce:
1) install and run freeciv gtk client to create ~/.freeciv-
2) gedit ~/.freeciv-
3) increase all font sizes to at least 30
4) Save file
5) restart freeciv-gtk
6) enter game.
Expected results: city names on map are larger.
Actual results: city names are no bigger (other fonts, such as messages, are bigger).
Reproducibility: always
Changed in freeciv: | |
importance: | Undecided → Unknown |
status: | New → Unknown |
summary: |
- Cannot change city name font for gkt client- too small + Cannot change city name font for gtk client- too small |
Now tracked upstream as https:/ /www.hostedredm ine.com/ issues/ 760420, although I've failed to work out how to put that as a bug watch.