Jirka Kosek wrote: > >> The end user cannot *edit* any of the above parameters per se, however >> she/he can *override* them with her/his own values. > > Now I see that I can create parameter with the same name as predefined > one to override it. Might be GUI could enable "Edit" button for > predefined parameters that are not yet overriden to make it more > apparent to user. >
OK, we'll do something to make this clearer.
