111112113114115116117118119120121
if (preview != null) { sashForm.setWeights(new int[] { 2, 3 }); } preview = new CodePreview(sashForm); ISelectionChangedListener listener = new TreeSelectionChangedListener( preview); resultTree.setListener(listener);
109110111112113114115116117118119
} }; resultTree = new ResultTree(sashForm, SWT.BORDER, listener); preview = new CodePreview(sashForm); if (preview != null) { sashForm.setWeights(new int[] { 2, 3 }); }
107108109110111112113114115116117