自从 Domino Designer 切换到 Eclipse 平台之后，修改代理变得很麻烦：修改代码、按下 Ctrl+S……

然而实际上代理并没有保存，看到代理名左边的小星星了么！保存代码之后，还要再保存一下代理……这个设定实在是令人无语，无数次忘记保存代理本身导致看不到效果。

还好 8.5.2 引入了一个选项解决这个问题：