|
From: | Nils Gey |
Subject: | [Denemo-devel] [bug #29174] Changing pref vars through a script has no effect on the Preferences GUI. |
Date: | Thu, 11 Mar 2010 00:10:38 +0000 |
User-agent: | Mozilla/5.0 (X11; U; Linux x86_64; en-US) AppleWebKit/532.9 (KHTML, like Gecko) Chrome/5.0.307.9 Safari/532.9 |
URL: <http://savannah.gnu.org/bugs/?29174> Summary: Changing pref vars through a script has no effect on the Preferences GUI. Project: GNU Denemo, a gtk+ frontend to GNU Lilypond Submitted by: steele Submitted on: Do 11 Mär 2010 01:10:38 CET Category: None Severity: 3 - Normal Item Group: None Status: None Privacy: Public Assigned to: None Open/Closed: Open Discussion Lock: Any _______________________________________________________ Details: If Denemo's preferences should really be changeable by scripts it should be reflected in Denemo's GUI, too. Otherwise it would be correct to make them write-protected or allow writing to them only in local scopes. _______________________________________________________ Reply to this item at: <http://savannah.gnu.org/bugs/?29174> _______________________________________________ Nachricht geschickt von/durch Savannah http://savannah.gnu.org/
[Prev in Thread] | Current Thread | [Next in Thread] |