Ticket #209 (closed bug: fixed)

Opened 2 years ago

Last modified 1 year ago

GTK port does not remember user's font preference

Reported by: ekolis Assigned to:
Milestone: 3.0.9 Keywords: port
Cc:

Description

When I run the GTK port, it always comes up with the font Monospace 12; I like the game to run at Monospace 19 because it fills up my screen that way but I have to reset it every time I load the game. Just a minor gripe here ;)

Attachments

Change History

07/07/07 16:30:39 changed by takkaria

  • keywords changed from pr2, port to port 3.0.8.
  • milestone changed from 3.0.8 to 3.0.9.

07/08/07 10:00:53 changed by takkaria

  • milestone changed from 3.0.9 to 3.0.8fix1.

07/08/07 16:47:05 changed by takkaria

  • keywords changed from port 3.0.8 to port.

07/08/07 22:41:24 changed by takkaria

Use main-gtk.c version [315] for this.

07/19/07 07:02:52 changed by ajps

  • status changed from new to closed.
  • resolution set to fixed.

Fixed in [355] (merge of [315]).

Add/Change #209 (GTK port does not remember user's font preference)




Action