After an evaluation, GNOME has moved from Bugzilla to GitLab. Learn more about GitLab.
No new issues can be reported in GNOME Bugzilla anymore.
To report an issue in a GNOME project, go to GNOME GitLab.
Do not go to GNOME Gitlab for: Bluefish, Doxygen, GnuCash, GStreamer, java-gnome, LDTP, NetworkManager, Tomboy.
Bug 445590 - Highlighter setting is not remembered
Highlighter setting is not remembered
Status: RESOLVED FIXED
Product: gnome-games-superseded
Classification: Deprecated
Component: gnome-sudoku
unspecified
Other Linux
: Normal minor
: ---
Assigned To: GNOME Games maintainers
GNOME Games maintainers
Depends on:
Blocks:
 
 
Reported: 2007-06-08 20:04 UTC by Thomas Andersen
Modified: 2007-06-17 14:44 UTC
See Also:
GNOME target: ---
GNOME version: 2.19/2.20

Attachments
save highlight setting in gconf (960 bytes, patch)
2007-06-11 16:59 UTC, Thomas Andersen 		accepted-commit_now Details | Review

Description Thomas Andersen 2007-06-08 20:04:02 UTC 
The highlighter setting is not saved when set. There is also no gconf entry for it.
Comment 1 Thomas Andersen 2007-06-11 16:59:10 UTC 
Created attachment 89762 [details] [review]
save highlight setting in gconf
Comment 2 Andreas Røsdal 2007-06-17 09:13:36 UTC 
The patch looks good, so you can commit it.
Comment 3 Thomas Andersen 2007-06-17 14:44:54 UTC 
Committed.