Hello Derek,
thanks for your comments. Sounds reasonable. And I also can not imagine
how to remove those fields from the config without loosing backwards
compatibility. ;)
It might be an idea to add a checkbox in the settings dialog to easily
disable that fields? Also there labels "host", "user", "profile" are a
bit misleading. In the beginning I was thinking that I will break
something if I modify that values in a way that they do not reflect the
reality, e.g. adding a username that does not exist. Using
host/user/profile as a default value is a good idea. But what this
fields really are should be better explained somehow.
Best,
Christian
_______________________________________________
Bit-dev mailing list -- [email protected]
To unsubscribe send an email to [email protected]
https://mail.python.org/mailman3/lists/bit-dev.python.org/
Member address: [email protected]
