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