1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16 17 18 19 20 21 22 23 24 25 26 27 28 29 30 31 32 33 34 35 36 37 38 39 40 41 42 43 44 45 46 47 48 49 50 51 52 53 54 55 56 57 58 59 60 61 62 63 64 65 66 67 68 69 70 71 72 73 74
|
sc1 = new ScrolledComposite (gr, SWT.V_SCROLL);
sc1.setBackground(new Color(Display.getDefault(),255,255,255));
GridData gridData9 = new org.eclipse.swt.layout.GridData();
gridData9.horizontalAlignment = org.eclipse.swt.layout.GridData.FILL;
gridData9.grabExcessHorizontalSpace = true;
gridData9.grabExcessVerticalSpace = true;
gridData9.verticalSpan = 35;
gridData9.verticalAlignment = org.eclipse.swt.layout.GridData.FILL;
sc1.setLayoutData(gridData9);
styledText = new StyledText(sc1, SWT.NONE );
styledText.setFont(new Font(Display.getDefault(), "Times New Roman Baltic", 10, SWT.NORMAL));
styledText.setSize(900,1000);
styledText.setEditable(false);
sc1.setContent(styledText);
final ScrollBar vBar1 = sc1.getVerticalBar ();
final ScrollBar vBar2 = margin.getSC().getVerticalBar ();
SelectionListener listener1 = new SelectionAdapter () {
public void widgetSelected (SelectionEvent e) {
int y = vBar1.getSelection() * (vBar2.getMaximum() - vBar2.getThumb()) / Math.max(1, vBar1.getMaximum() - vBar1.getThumb());
margin.getSC().setOrigin(margin.getSC().getOrigin().x, y);
}
};
SelectionListener listener2 = new SelectionAdapter () {
public void widgetSelected (SelectionEvent e) {
int y = vBar2.getSelection() * (vBar1.getMaximum() - vBar1.getThumb()) / Math.max(1, vBar2.getMaximum() - vBar2.getThumb());
sc1.setOrigin(sc1.getOrigin().x, y);
}
};
vBar1.addSelectionListener (listener1);
vBar2.addSelectionListener (listener2); |
Partager