Steps to reproduce:
- Open Workbench preferences
- Make sure that the width of the dialog window is as small as possible (should be by default)
- Select "Editors" -> "Standard Multi Widget"
- The tree widget for selecting the preference pages get smaller
- Try to resize this tree widget
- The tree widget vanishes (until the dialog window is resized)