Skip to content

[IceProxyFinder widget] Add method to allow setting a default proxy name

Christian Dreher requested to merge feature/proxyfinder-allow-defaults into master

Scope: IceProxyFinder widget in libraries/ArmarXGuiBase/widgets.

Change summary: Added a method to have an API to set a default proxy name for when the widget is initialised

Rationale: The IceProxyFinder widget lacked a method to set a default proxy name. This, however, is especially useful if one does not use a default image provider name and the UI state is saved / reloaded. Without the added setter, one has to enter the proxy name each time after reloading the UI.

Merge request reports