Spring properties editor:
  - a few regressions tests.
  - save/restore proposal popup size after user resized it