174175176177178179180181182183184
} }); } tabFolder.setSelection(0); tabFolder.setSingle(true); tabFolder.pack(); } private static void insertTextAtCaretPosition( StyledText text, String string ) { int caretPosition = text.getCaretOffset();