core/com.nokia.carbide.discovery.ui/src/com/nokia/carbide/internal/discovery/ui/editor/NavigationBar.java
changeset 1634 c8405758cfd4
parent 1618 712d047abd8b
child 1684 c2eba6dabd38
equal deleted inserted replaced
1633:0c69c533fa52 1634:c8405758cfd4
    17 package com.nokia.carbide.internal.discovery.ui.editor;
    17 package com.nokia.carbide.internal.discovery.ui.editor;
    18 
    18 
    19 import java.util.LinkedHashMap;
    19 import java.util.LinkedHashMap;
    20 import java.util.Map;
    20 import java.util.Map;
    21 
    21 
    22 import org.eclipse.jface.layout.GridDataFactory;
       
    23 import org.eclipse.jface.layout.RowDataFactory;
    22 import org.eclipse.jface.layout.RowDataFactory;
    24 import org.eclipse.jface.layout.RowLayoutFactory;
    23 import org.eclipse.jface.layout.RowLayoutFactory;
    25 import org.eclipse.jface.resource.FontDescriptor;
    24 import org.eclipse.jface.resource.FontDescriptor;
    26 import org.eclipse.jface.resource.JFaceResources;
    25 import org.eclipse.jface.resource.JFaceResources;
    27 import org.eclipse.swt.SWT;
    26 import org.eclipse.swt.SWT;
    57 		super(parent, portalEditor.getBackgroundParent(), 
    56 		super(parent, portalEditor.getBackgroundParent(), 
    58 				parent.getDisplay().getSystemColor(SWT.COLOR_BLACK),
    57 				parent.getDisplay().getSystemColor(SWT.COLOR_BLACK),
    59 				parent.getDisplay().getSystemColor(SWT.COLOR_WHITE));
    58 				parent.getDisplay().getSystemColor(SWT.COLOR_WHITE));
    60 		this.portalEditor = portalEditor;
    59 		this.portalEditor = portalEditor;
    61 		buttonToPageMap = new LinkedHashMap<Button, IPortalPage>();
    60 		buttonToPageMap = new LinkedHashMap<Button, IPortalPage>();
    62 		GridDataFactory.swtDefaults().grab(true, false).align(SWT.CENTER, SWT.TOP).indent(10, 10).applyTo(this);
       
    63 		RowLayoutFactory.swtDefaults().margins(3, 3).wrap(false).applyTo(this);
    61 		RowLayoutFactory.swtDefaults().margins(3, 3).wrap(false).applyTo(this);
    64 		listener = new ButtonListener();
    62 		listener = new ButtonListener();
    65 		selectedButtonFont = JFaceResources.getHeaderFont();
    63 		selectedButtonFont = JFaceResources.getHeaderFont();
    66 		FontData[] fontData = selectedButtonFont.getFontData();
    64 		FontData[] fontData = selectedButtonFont.getFontData();
    67 		for (FontData fd : fontData) {
    65 		for (FontData fd : fontData) {