add line numbers

Signed-off-by: Christoph Rueger <[email protected]>

bndtools.core/src/bndtools/editor/BndSourceEffectivePage.java

@@ -8,17 +8,18 @@
 import org.eclipse.core.commands.ExecutionException;
 import org.eclipse.core.commands.IHandler;
 import org.eclipse.jdt.ui.JavaUI;
-import org.eclipse.jface.layout.GridLayoutFactory;
 import org.eclipse.jface.resource.JFaceResources;
 import org.eclipse.jface.text.Document;
 import org.eclipse.jface.text.IFindReplaceTarget;
 import org.eclipse.jface.text.TextViewer;
+import org.eclipse.jface.text.source.CompositeRuler;
+import org.eclipse.jface.text.source.LineNumberRulerColumn;
 import org.eclipse.jface.text.source.SourceViewer;
 import org.eclipse.swt.SWT;
-import org.eclipse.swt.custom.StackLayout;
 import org.eclipse.swt.custom.StyledText;
-import org.eclipse.swt.layout.GridLayout;
+import org.eclipse.swt.layout.FillLayout;
 import org.eclipse.swt.widgets.Composite;
+import org.eclipse.swt.widgets.Display;
 import org.eclipse.ui.IActionBars;
 import org.eclipse.ui.IWorkbenchPart;
 import org.eclipse.ui.IWorkbenchPartSite;
@@ -62,18 +63,19 @@ protected void createFormContent(IManagedForm managedForm) {
 		FormToolkit toolkit = managedForm.getToolkit();
 		ScrolledForm scrolledForm = managedForm.getForm();
 		Form form = scrolledForm.getForm();
-		Composite header = form.getHead();
-		header.setLayout(GridLayoutFactory.createFrom(new GridLayout(1, true))
-			.margins(0, 0)
-			.create());
 		toolkit.setBorderStyle(SWT.NULL);
 
 		Composite body = form.getBody();
-		StackLayout stackLayout = new StackLayout();
-		stackLayout.marginHeight = stackLayout.marginWidth = 5;
-		body.setLayout(stackLayout);
+		body.setLayout(new FillLayout());
 
-		this.viewer = new SourceViewer(body, null, SWT.BORDER | SWT.H_SCROLL | SWT.V_SCROLL) {
+		// ruler for line numbers
+		CompositeRuler ruler = new CompositeRuler();
+		LineNumberRulerColumn ln = new LineNumberRulerColumn();
+		ln.setForeground(Display.getCurrent()
+			.getSystemColor(SWT.COLOR_DARK_GRAY));
+		ruler.addDecorator(0, ln);
+
+		this.viewer = new SourceViewer(body, ruler, SWT.BORDER | SWT.H_SCROLL | SWT.V_SCROLL) {
 			@Override
 			protected boolean canPerformFind() {
 				return true;
@@ -82,9 +84,6 @@ protected boolean canPerformFind() {
 		viewer.setDocument(new Document());
 		viewer.configure(new BndSourceViewerConfiguration(bndEditor, JavaUI.getColorManager()));
 		styledText = viewer.getTextWidget();
-		// styledText = new StyledText(body, SWT.MULTI | SWT.H_SCROLL |
-		// SWT.V_SCROLL | SWT.READ_ONLY);
-		stackLayout.topControl = styledText;
 		styledText.setEditable(false);
 		styledText.setFont(JFaceResources.getTextFont());