Google Groups no longer supports new Usenet posts or subscriptions. Historical content remains viewable.
Dismiss
[Inform 7, 5T18, GNOME] Preferences not all saved?
0 views
Skip to first unread message
Stuart Moore
May 12, 2008, 10:37:45 AM5/12/08
to
I noticed that GNOME-Inform does not save the "Clean build files" option
under the advanced tag of preferences. Is this intended to be
implemented (either as per-project or whole application)?
under the advanced tag of preferences. Is this intended to be
implemented (either as per-project or whole application)?
P.F. Chimento
May 12, 2008, 12:01:15 PM5/12/08
to
Noted.
It is supposed to be for the whole application. I will try and fix it
by the next release but this seems to be a tip-of-the-iceberg issue.
You may find that the same thing happens with some other preferences.
--
Philip
0 new messages