compress whitespace when inserting text through IVexWidget.insertText
into non-pre elements

https://bugs.eclipse.org/bugs/show_bug.cgi?id=408453
3 files changed