>> > I think it would be better to write >> > Message.info("\n\nIVYDE: Ivy-settings has changed, configuring Ivy again\n"); >> > Or is "ivysettings" a technical term? >> >> well, in Ivy's literature, I used to read about some "ivyconf", so with the >> new terminology, it becames "ivysettings". It looks understandable for me. >> But I don't have any objection to change every occurence of it into "Ivy >> settings". > >To me ivysettings is pretty obvious, at least when you know >how Ivy settings >are written. But Ivy settings would be fine too, I don't mind.
I am not so familiar with Ivy (yet). So if "ivysettings" is a common technical term, I would keep it as it is. Thanks for clarification. Jan --------------------------------------------------------------------- To unsubscribe, e-mail: [EMAIL PROTECTED] For additional commands, e-mail: [EMAIL PROTECTED]