|
Lines 33-38
Link Here
|
| 33 |
import org.eclipse.jface.resource.JFaceResources; |
33 |
import org.eclipse.jface.resource.JFaceResources; |
| 34 |
import org.eclipse.osgi.util.NLS; |
34 |
import org.eclipse.osgi.util.NLS; |
| 35 |
import org.eclipse.swt.SWT; |
35 |
import org.eclipse.swt.SWT; |
|
|
36 |
import org.eclipse.swt.custom.SashForm; |
| 36 |
import org.eclipse.swt.dnd.Clipboard; |
37 |
import org.eclipse.swt.dnd.Clipboard; |
| 37 |
import org.eclipse.swt.dnd.TextTransfer; |
38 |
import org.eclipse.swt.dnd.TextTransfer; |
| 38 |
import org.eclipse.swt.events.FocusEvent; |
39 |
import org.eclipse.swt.events.FocusEvent; |
|
Lines 508-514
Link Here
|
| 508 |
// switch to another Workbench control). We prevent local keyboard input from |
509 |
// switch to another Workbench control). We prevent local keyboard input from |
| 509 |
// modifying the text in method TerminalVerifyKeyListener.verifyKey(). |
510 |
// modifying the text in method TerminalVerifyKeyListener.verifyKey(). |
| 510 |
|
511 |
|
| 511 |
fWndParent=new Composite(parent,SWT.NONE); |
512 |
fWndParent=new SashForm(parent,SWT.VERTICAL); |
| 512 |
GridLayout layout=new GridLayout(); |
513 |
GridLayout layout=new GridLayout(); |
| 513 |
layout.marginWidth=0; |
514 |
layout.marginWidth=0; |
| 514 |
layout.marginHeight=0; |
515 |
layout.marginHeight=0; |
|
Lines 917-924
Link Here
|
| 917 |
if(fCommandInputField!=null) |
918 |
if(fCommandInputField!=null) |
| 918 |
fCommandInputField.dispose(); |
919 |
fCommandInputField.dispose(); |
| 919 |
fCommandInputField=inputField; |
920 |
fCommandInputField=inputField; |
| 920 |
if(fCommandInputField!=null) |
921 |
if(fCommandInputField!=null) { |
| 921 |
fCommandInputField.createControl(fWndParent, this); |
922 |
fCommandInputField.createControl(fWndParent, this); |
|
|
923 |
// if we have a sash form, we have to set the weights |
| 924 |
// TODO remember the weights! |
| 925 |
if(fWndParent.getChildren().length==2 && fWndParent instanceof SashForm) { |
| 926 |
int hTotal=fWndParent.getSize().y; |
| 927 |
int hTextField=fWndParent.getChildren()[1].computeSize(SWT.DEFAULT, SWT.DEFAULT, true).y; |
| 928 |
((SashForm)fWndParent).setWeights(new int[]{hTotal-hTextField,hTextField}); |
| 929 |
} |
| 930 |
} |
| 922 |
if(fWndParent.isVisible()) |
931 |
if(fWndParent.isVisible()) |
| 923 |
fWndParent.layout(true); |
932 |
fWndParent.layout(true); |
| 924 |
} |
933 |
} |