core/com.nokia.carbide.discovery.ui/src/com/nokia/carbide/internal/discovery/ui/editor/PortalEditor.java
author dadubrow
Thu, 15 Jul 2010 09:59:29 -0500
changeset 1618 712d047abd8b
parent 1616 1828ccdd6878
child 1634 c8405758cfd4
permissions -rw-r--r--
Portal tweaks - use standard fonts, etc.
Ignore whitespace changes - Everywhere: Within whitespace: At end of lines:
1609
085da1889c59 Portal initial commit
dadubrow
parents:
diff changeset
     1
/*
085da1889c59 Portal initial commit
dadubrow
parents:
diff changeset
     2
* Copyright (c) 2010 Nokia Corporation and/or its subsidiary(-ies).
085da1889c59 Portal initial commit
dadubrow
parents:
diff changeset
     3
* All rights reserved.
085da1889c59 Portal initial commit
dadubrow
parents:
diff changeset
     4
* This component and the accompanying materials are made available
085da1889c59 Portal initial commit
dadubrow
parents:
diff changeset
     5
* under the terms of the License "Eclipse Public License v1.0"
085da1889c59 Portal initial commit
dadubrow
parents:
diff changeset
     6
* which accompanies this distribution, and is available
085da1889c59 Portal initial commit
dadubrow
parents:
diff changeset
     7
* at the URL "http://www.eclipse.org/legal/epl-v10.html".
085da1889c59 Portal initial commit
dadubrow
parents:
diff changeset
     8
*
085da1889c59 Portal initial commit
dadubrow
parents:
diff changeset
     9
* Initial Contributors:
085da1889c59 Portal initial commit
dadubrow
parents:
diff changeset
    10
* Nokia Corporation - initial contribution.
085da1889c59 Portal initial commit
dadubrow
parents:
diff changeset
    11
*
085da1889c59 Portal initial commit
dadubrow
parents:
diff changeset
    12
* Contributors:
085da1889c59 Portal initial commit
dadubrow
parents:
diff changeset
    13
*
085da1889c59 Portal initial commit
dadubrow
parents:
diff changeset
    14
* Description: 
085da1889c59 Portal initial commit
dadubrow
parents:
diff changeset
    15
*
085da1889c59 Portal initial commit
dadubrow
parents:
diff changeset
    16
*/
085da1889c59 Portal initial commit
dadubrow
parents:
diff changeset
    17
package com.nokia.carbide.internal.discovery.ui.editor;
085da1889c59 Portal initial commit
dadubrow
parents:
diff changeset
    18
1616
1828ccdd6878 add ranking to portal page extension
dadubrow
parents: 1615
diff changeset
    19
import java.text.MessageFormat;
1609
085da1889c59 Portal initial commit
dadubrow
parents:
diff changeset
    20
import java.util.ArrayList;
1616
1828ccdd6878 add ranking to portal page extension
dadubrow
parents: 1615
diff changeset
    21
import java.util.Collections;
1828ccdd6878 add ranking to portal page extension
dadubrow
parents: 1615
diff changeset
    22
import java.util.Comparator;
1609
085da1889c59 Portal initial commit
dadubrow
parents:
diff changeset
    23
import java.util.HashMap;
085da1889c59 Portal initial commit
dadubrow
parents:
diff changeset
    24
import java.util.List;
085da1889c59 Portal initial commit
dadubrow
parents:
diff changeset
    25
import java.util.Map;
085da1889c59 Portal initial commit
dadubrow
parents:
diff changeset
    26
085da1889c59 Portal initial commit
dadubrow
parents:
diff changeset
    27
import org.eclipse.core.runtime.CoreException;
085da1889c59 Portal initial commit
dadubrow
parents:
diff changeset
    28
import org.eclipse.core.runtime.IConfigurationElement;
085da1889c59 Portal initial commit
dadubrow
parents:
diff changeset
    29
import org.eclipse.core.runtime.IProgressMonitor;
085da1889c59 Portal initial commit
dadubrow
parents:
diff changeset
    30
import org.eclipse.core.runtime.Platform;
085da1889c59 Portal initial commit
dadubrow
parents:
diff changeset
    31
import org.eclipse.jface.layout.GridDataFactory;
085da1889c59 Portal initial commit
dadubrow
parents:
diff changeset
    32
import org.eclipse.jface.layout.GridLayoutFactory;
1618
712d047abd8b Portal tweaks - use standard fonts, etc.
dadubrow
parents: 1616
diff changeset
    33
import org.eclipse.jface.resource.FontDescriptor;
1609
085da1889c59 Portal initial commit
dadubrow
parents:
diff changeset
    34
import org.eclipse.jface.resource.ImageDescriptor;
085da1889c59 Portal initial commit
dadubrow
parents:
diff changeset
    35
import org.eclipse.swt.SWT;
085da1889c59 Portal initial commit
dadubrow
parents:
diff changeset
    36
import org.eclipse.swt.graphics.Font;
085da1889c59 Portal initial commit
dadubrow
parents:
diff changeset
    37
import org.eclipse.swt.graphics.GC;
085da1889c59 Portal initial commit
dadubrow
parents:
diff changeset
    38
import org.eclipse.swt.graphics.Image;
1618
712d047abd8b Portal tweaks - use standard fonts, etc.
dadubrow
parents: 1616
diff changeset
    39
import org.eclipse.swt.graphics.ImageData;
1609
085da1889c59 Portal initial commit
dadubrow
parents:
diff changeset
    40
import org.eclipse.swt.graphics.Rectangle;
085da1889c59 Portal initial commit
dadubrow
parents:
diff changeset
    41
import org.eclipse.swt.graphics.Resource;
085da1889c59 Portal initial commit
dadubrow
parents:
diff changeset
    42
import org.eclipse.swt.widgets.Composite;
085da1889c59 Portal initial commit
dadubrow
parents:
diff changeset
    43
import org.eclipse.swt.widgets.Control;
085da1889c59 Portal initial commit
dadubrow
parents:
diff changeset
    44
import org.eclipse.swt.widgets.Display;
085da1889c59 Portal initial commit
dadubrow
parents:
diff changeset
    45
import org.eclipse.swt.widgets.Event;
085da1889c59 Portal initial commit
dadubrow
parents:
diff changeset
    46
import org.eclipse.swt.widgets.Listener;
085da1889c59 Portal initial commit
dadubrow
parents:
diff changeset
    47
import org.eclipse.ui.IEditorInput;
085da1889c59 Portal initial commit
dadubrow
parents:
diff changeset
    48
import org.eclipse.ui.IEditorSite;
085da1889c59 Portal initial commit
dadubrow
parents:
diff changeset
    49
import org.eclipse.ui.IPersistableElement;
085da1889c59 Portal initial commit
dadubrow
parents:
diff changeset
    50
import org.eclipse.ui.PartInitException;
085da1889c59 Portal initial commit
dadubrow
parents:
diff changeset
    51
import org.eclipse.ui.PlatformUI;
085da1889c59 Portal initial commit
dadubrow
parents:
diff changeset
    52
import org.eclipse.ui.part.EditorPart;
085da1889c59 Portal initial commit
dadubrow
parents:
diff changeset
    53
085da1889c59 Portal initial commit
dadubrow
parents:
diff changeset
    54
import com.nokia.carbide.discovery.ui.Activator;
1615
d5f384bf1e88 more portal
dadubrow
parents: 1609
diff changeset
    55
import com.nokia.carbide.discovery.ui.Messages;
1609
085da1889c59 Portal initial commit
dadubrow
parents:
diff changeset
    56
import com.nokia.carbide.internal.discovery.ui.extension.IPortalPage;
085da1889c59 Portal initial commit
dadubrow
parents:
diff changeset
    57
import com.nokia.carbide.internal.discovery.ui.extension.IPortalPage.IActionBar;
1616
1828ccdd6878 add ranking to portal page extension
dadubrow
parents: 1615
diff changeset
    58
import com.nokia.cpp.internal.api.utils.core.Pair;
1609
085da1889c59 Portal initial commit
dadubrow
parents:
diff changeset
    59
import com.nokia.cpp.internal.api.utils.ui.WorkbenchUtils;
085da1889c59 Portal initial commit
dadubrow
parents:
diff changeset
    60
085da1889c59 Portal initial commit
dadubrow
parents:
diff changeset
    61
public class PortalEditor extends EditorPart {
085da1889c59 Portal initial commit
dadubrow
parents:
diff changeset
    62
085da1889c59 Portal initial commit
dadubrow
parents:
diff changeset
    63
	private static final String ID = "com.nokia.carbide.discovery.ui.portalEditor"; //$NON-NLS-1$
085da1889c59 Portal initial commit
dadubrow
parents:
diff changeset
    64
	private static final String CONTEXT_ID = ID + ".context"; //$NON-NLS-1$
085da1889c59 Portal initial commit
dadubrow
parents:
diff changeset
    65
	private static IEditorInput input;
085da1889c59 Portal initial commit
dadubrow
parents:
diff changeset
    66
	private List<IPortalPage> uninitializedPages;
085da1889c59 Portal initial commit
dadubrow
parents:
diff changeset
    67
	private Composite backgroundParent;
085da1889c59 Portal initial commit
dadubrow
parents:
diff changeset
    68
	private Image oldBGImg;
085da1889c59 Portal initial commit
dadubrow
parents:
diff changeset
    69
	private List<Resource> resources;
085da1889c59 Portal initial commit
dadubrow
parents:
diff changeset
    70
	private StackComposite stackComposite;
085da1889c59 Portal initial commit
dadubrow
parents:
diff changeset
    71
	
085da1889c59 Portal initial commit
dadubrow
parents:
diff changeset
    72
	private Map<IPortalPage, Control> pageToControlMap;
085da1889c59 Portal initial commit
dadubrow
parents:
diff changeset
    73
	private NavigationBar navigationBar;
085da1889c59 Portal initial commit
dadubrow
parents:
diff changeset
    74
085da1889c59 Portal initial commit
dadubrow
parents:
diff changeset
    75
	public PortalEditor() {
085da1889c59 Portal initial commit
dadubrow
parents:
diff changeset
    76
		resources = new ArrayList<Resource>();
1616
1828ccdd6878 add ranking to portal page extension
dadubrow
parents: 1615
diff changeset
    77
		loadPortalPages();
1609
085da1889c59 Portal initial commit
dadubrow
parents:
diff changeset
    78
		pageToControlMap = new HashMap<IPortalPage, Control>();
085da1889c59 Portal initial commit
dadubrow
parents:
diff changeset
    79
	}
085da1889c59 Portal initial commit
dadubrow
parents:
diff changeset
    80
	
1616
1828ccdd6878 add ranking to portal page extension
dadubrow
parents: 1615
diff changeset
    81
	private void loadPortalPages() {
1828ccdd6878 add ranking to portal page extension
dadubrow
parents: 1615
diff changeset
    82
		List<Pair<IPortalPage, Integer>> pageExtensions = new ArrayList<Pair<IPortalPage,Integer>>();
1609
085da1889c59 Portal initial commit
dadubrow
parents:
diff changeset
    83
		IConfigurationElement[] elements = 
1615
d5f384bf1e88 more portal
dadubrow
parents: 1609
diff changeset
    84
			Platform.getExtensionRegistry().getConfigurationElementsFor(Activator.PLUGIN_ID + ".portalPage"); //$NON-NLS-1$
1609
085da1889c59 Portal initial commit
dadubrow
parents:
diff changeset
    85
		for (IConfigurationElement element : elements) {
085da1889c59 Portal initial commit
dadubrow
parents:
diff changeset
    86
			try {
1616
1828ccdd6878 add ranking to portal page extension
dadubrow
parents: 1615
diff changeset
    87
				IPortalPage portalPage = (IPortalPage) element.createExecutableExtension("class"); //$NON-NLS-1$
1828ccdd6878 add ranking to portal page extension
dadubrow
parents: 1615
diff changeset
    88
				String rankString = element.getAttribute("rank"); //$NON-NLS-1$
1828ccdd6878 add ranking to portal page extension
dadubrow
parents: 1615
diff changeset
    89
				int rank = Integer.MAX_VALUE;
1828ccdd6878 add ranking to portal page extension
dadubrow
parents: 1615
diff changeset
    90
				if (rankString != null) {
1828ccdd6878 add ranking to portal page extension
dadubrow
parents: 1615
diff changeset
    91
					try {
1828ccdd6878 add ranking to portal page extension
dadubrow
parents: 1615
diff changeset
    92
						rank = Integer.parseInt(rankString);
1828ccdd6878 add ranking to portal page extension
dadubrow
parents: 1615
diff changeset
    93
					}
1828ccdd6878 add ranking to portal page extension
dadubrow
parents: 1615
diff changeset
    94
					catch (NumberFormatException e) {
1828ccdd6878 add ranking to portal page extension
dadubrow
parents: 1615
diff changeset
    95
						Activator.logError(MessageFormat.format("Could not get rank for portal page {0}",
1828ccdd6878 add ranking to portal page extension
dadubrow
parents: 1615
diff changeset
    96
										portalPage.getClass().getName()), e);
1828ccdd6878 add ranking to portal page extension
dadubrow
parents: 1615
diff changeset
    97
					}
1828ccdd6878 add ranking to portal page extension
dadubrow
parents: 1615
diff changeset
    98
				}
1828ccdd6878 add ranking to portal page extension
dadubrow
parents: 1615
diff changeset
    99
				pageExtensions.add(new Pair<IPortalPage, Integer>(portalPage, rank));
1609
085da1889c59 Portal initial commit
dadubrow
parents:
diff changeset
   100
			} 
085da1889c59 Portal initial commit
dadubrow
parents:
diff changeset
   101
			catch (CoreException e) {
1615
d5f384bf1e88 more portal
dadubrow
parents: 1609
diff changeset
   102
				Activator.logError(Messages.PortalEditor_PageLoadError, e);
1609
085da1889c59 Portal initial commit
dadubrow
parents:
diff changeset
   103
			}
085da1889c59 Portal initial commit
dadubrow
parents:
diff changeset
   104
		}
1616
1828ccdd6878 add ranking to portal page extension
dadubrow
parents: 1615
diff changeset
   105
		Collections.sort(pageExtensions, new Comparator<Pair<IPortalPage, Integer>>() {
1828ccdd6878 add ranking to portal page extension
dadubrow
parents: 1615
diff changeset
   106
			@Override
1828ccdd6878 add ranking to portal page extension
dadubrow
parents: 1615
diff changeset
   107
			public int compare(Pair<IPortalPage, Integer> o1, Pair<IPortalPage, Integer> o2) {
1828ccdd6878 add ranking to portal page extension
dadubrow
parents: 1615
diff changeset
   108
				return o1.second.compareTo(o2.second);
1828ccdd6878 add ranking to portal page extension
dadubrow
parents: 1615
diff changeset
   109
			}
1828ccdd6878 add ranking to portal page extension
dadubrow
parents: 1615
diff changeset
   110
		});
1828ccdd6878 add ranking to portal page extension
dadubrow
parents: 1615
diff changeset
   111
		uninitializedPages = new ArrayList<IPortalPage>();
1828ccdd6878 add ranking to portal page extension
dadubrow
parents: 1615
diff changeset
   112
		for (Pair<IPortalPage, Integer> pair : pageExtensions) {
1828ccdd6878 add ranking to portal page extension
dadubrow
parents: 1615
diff changeset
   113
			uninitializedPages.add(pair.first);
1828ccdd6878 add ranking to portal page extension
dadubrow
parents: 1615
diff changeset
   114
		}
1609
085da1889c59 Portal initial commit
dadubrow
parents:
diff changeset
   115
	}
085da1889c59 Portal initial commit
dadubrow
parents:
diff changeset
   116
085da1889c59 Portal initial commit
dadubrow
parents:
diff changeset
   117
	@Override
085da1889c59 Portal initial commit
dadubrow
parents:
diff changeset
   118
	public void doSave(IProgressMonitor monitor) {
085da1889c59 Portal initial commit
dadubrow
parents:
diff changeset
   119
	}
085da1889c59 Portal initial commit
dadubrow
parents:
diff changeset
   120
085da1889c59 Portal initial commit
dadubrow
parents:
diff changeset
   121
	@Override
085da1889c59 Portal initial commit
dadubrow
parents:
diff changeset
   122
	public void doSaveAs() {
085da1889c59 Portal initial commit
dadubrow
parents:
diff changeset
   123
	}
085da1889c59 Portal initial commit
dadubrow
parents:
diff changeset
   124
085da1889c59 Portal initial commit
dadubrow
parents:
diff changeset
   125
	@Override
085da1889c59 Portal initial commit
dadubrow
parents:
diff changeset
   126
	public boolean isDirty() {
085da1889c59 Portal initial commit
dadubrow
parents:
diff changeset
   127
		return false;
085da1889c59 Portal initial commit
dadubrow
parents:
diff changeset
   128
	}
085da1889c59 Portal initial commit
dadubrow
parents:
diff changeset
   129
085da1889c59 Portal initial commit
dadubrow
parents:
diff changeset
   130
	@Override
085da1889c59 Portal initial commit
dadubrow
parents:
diff changeset
   131
	public boolean isSaveAsAllowed() {
085da1889c59 Portal initial commit
dadubrow
parents:
diff changeset
   132
		return false;
085da1889c59 Portal initial commit
dadubrow
parents:
diff changeset
   133
	}
085da1889c59 Portal initial commit
dadubrow
parents:
diff changeset
   134
085da1889c59 Portal initial commit
dadubrow
parents:
diff changeset
   135
	@Override
085da1889c59 Portal initial commit
dadubrow
parents:
diff changeset
   136
	public void init(IEditorSite site, IEditorInput input) throws PartInitException {
085da1889c59 Portal initial commit
dadubrow
parents:
diff changeset
   137
		setSite(site);
085da1889c59 Portal initial commit
dadubrow
parents:
diff changeset
   138
		setInput(input);
085da1889c59 Portal initial commit
dadubrow
parents:
diff changeset
   139
	}
085da1889c59 Portal initial commit
dadubrow
parents:
diff changeset
   140
085da1889c59 Portal initial commit
dadubrow
parents:
diff changeset
   141
	@Override
085da1889c59 Portal initial commit
dadubrow
parents:
diff changeset
   142
	public void createPartControl(final Composite parent) {
085da1889c59 Portal initial commit
dadubrow
parents:
diff changeset
   143
		Composite body = createBody(parent);
085da1889c59 Portal initial commit
dadubrow
parents:
diff changeset
   144
		navigationBar.initUI();
085da1889c59 Portal initial commit
dadubrow
parents:
diff changeset
   145
085da1889c59 Portal initial commit
dadubrow
parents:
diff changeset
   146
		PlatformUI.getWorkbench().getHelpSystem().setHelp(body, CONTEXT_ID);
085da1889c59 Portal initial commit
dadubrow
parents:
diff changeset
   147
	}
085da1889c59 Portal initial commit
dadubrow
parents:
diff changeset
   148
085da1889c59 Portal initial commit
dadubrow
parents:
diff changeset
   149
	private Composite createBody(final Composite parent) {
085da1889c59 Portal initial commit
dadubrow
parents:
diff changeset
   150
		// create background
085da1889c59 Portal initial commit
dadubrow
parents:
diff changeset
   151
		backgroundParent = new Composite(parent, SWT.NONE);
085da1889c59 Portal initial commit
dadubrow
parents:
diff changeset
   152
		applyBG(backgroundParent);
1615
d5f384bf1e88 more portal
dadubrow
parents: 1609
diff changeset
   153
		GridLayoutFactory.fillDefaults().applyTo(backgroundParent);
1609
085da1889c59 Portal initial commit
dadubrow
parents:
diff changeset
   154
		// create top naviation bar
085da1889c59 Portal initial commit
dadubrow
parents:
diff changeset
   155
		navigationBar = createNavigationBar(backgroundParent);
085da1889c59 Portal initial commit
dadubrow
parents:
diff changeset
   156
		// create stack composite
085da1889c59 Portal initial commit
dadubrow
parents:
diff changeset
   157
		createStackComposite(backgroundParent, navigationBar);
085da1889c59 Portal initial commit
dadubrow
parents:
diff changeset
   158
		return backgroundParent;
085da1889c59 Portal initial commit
dadubrow
parents:
diff changeset
   159
	}
085da1889c59 Portal initial commit
dadubrow
parents:
diff changeset
   160
085da1889c59 Portal initial commit
dadubrow
parents:
diff changeset
   161
	private void createStackComposite(Composite parent, NavigationBar bar) {
085da1889c59 Portal initial commit
dadubrow
parents:
diff changeset
   162
		stackComposite = new StackComposite(parent, backgroundParent);
085da1889c59 Portal initial commit
dadubrow
parents:
diff changeset
   163
		for (IPortalPage page : uninitializedPages) {
085da1889c59 Portal initial commit
dadubrow
parents:
diff changeset
   164
			Control control = createPage(page);
085da1889c59 Portal initial commit
dadubrow
parents:
diff changeset
   165
			pageToControlMap.put(page, control);
085da1889c59 Portal initial commit
dadubrow
parents:
diff changeset
   166
		}
1615
d5f384bf1e88 more portal
dadubrow
parents: 1609
diff changeset
   167
		GridDataFactory.fillDefaults().grab(true, true).applyTo(stackComposite);
1609
085da1889c59 Portal initial commit
dadubrow
parents:
diff changeset
   168
	}
085da1889c59 Portal initial commit
dadubrow
parents:
diff changeset
   169
085da1889c59 Portal initial commit
dadubrow
parents:
diff changeset
   170
	private Control createPage(IPortalPage page) {
085da1889c59 Portal initial commit
dadubrow
parents:
diff changeset
   171
		Composite pageComposite = new SharedBackgroundComposite(stackComposite, backgroundParent);
1615
d5f384bf1e88 more portal
dadubrow
parents: 1609
diff changeset
   172
		GridLayoutFactory.fillDefaults().numColumns(2).spacing(20, 0).extendedMargins(20, 20, 20, 0).applyTo(pageComposite);
1609
085da1889c59 Portal initial commit
dadubrow
parents:
diff changeset
   173
		ActionUIUpdater updater = new ActionUIUpdater();
085da1889c59 Portal initial commit
dadubrow
parents:
diff changeset
   174
		IActionBar[] commandBars = page.createCommandBars(this, updater);
085da1889c59 Portal initial commit
dadubrow
parents:
diff changeset
   175
		if (commandBars.length > 0) {
085da1889c59 Portal initial commit
dadubrow
parents:
diff changeset
   176
			Composite taskComposite = new SharedBackgroundComposite(pageComposite, backgroundParent);
1615
d5f384bf1e88 more portal
dadubrow
parents: 1609
diff changeset
   177
			GridLayoutFactory.fillDefaults().applyTo(taskComposite);
d5f384bf1e88 more portal
dadubrow
parents: 1609
diff changeset
   178
			GridDataFactory.fillDefaults().grab(false, true).applyTo(taskComposite);
1609
085da1889c59 Portal initial commit
dadubrow
parents:
diff changeset
   179
			for (IActionBar actionBar : commandBars) {
085da1889c59 Portal initial commit
dadubrow
parents:
diff changeset
   180
				Control control = createTaskBarControl(taskComposite, actionBar, updater);
1615
d5f384bf1e88 more portal
dadubrow
parents: 1609
diff changeset
   181
				GridDataFactory.fillDefaults().indent(0, 0).applyTo(control);
1609
085da1889c59 Portal initial commit
dadubrow
parents:
diff changeset
   182
			}
085da1889c59 Portal initial commit
dadubrow
parents:
diff changeset
   183
		}
085da1889c59 Portal initial commit
dadubrow
parents:
diff changeset
   184
		Composite pageControl = new RoundedCornerComposite(pageComposite, backgroundParent, 
085da1889c59 Portal initial commit
dadubrow
parents:
diff changeset
   185
				null, pageComposite.getDisplay().getSystemColor(SWT.COLOR_WIDGET_BACKGROUND));
1615
d5f384bf1e88 more portal
dadubrow
parents: 1609
diff changeset
   186
		GridLayoutFactory.fillDefaults().margins(2, 2).applyTo(pageControl);
d5f384bf1e88 more portal
dadubrow
parents: 1609
diff changeset
   187
		GridDataFactory.fillDefaults().grab(true, true).applyTo(pageControl);
1609
085da1889c59 Portal initial commit
dadubrow
parents:
diff changeset
   188
		Control control = page.createControl(pageControl, this);
1615
d5f384bf1e88 more portal
dadubrow
parents: 1609
diff changeset
   189
		GridDataFactory.fillDefaults().grab(true, true).applyTo(control);
1609
085da1889c59 Portal initial commit
dadubrow
parents:
diff changeset
   190
		return pageComposite;
085da1889c59 Portal initial commit
dadubrow
parents:
diff changeset
   191
	}
085da1889c59 Portal initial commit
dadubrow
parents:
diff changeset
   192
085da1889c59 Portal initial commit
dadubrow
parents:
diff changeset
   193
	private Control createTaskBarControl(Composite clientArea, IActionBar actionBar, ActionUIUpdater updater) {
085da1889c59 Portal initial commit
dadubrow
parents:
diff changeset
   194
		TaskBar taskBar = new TaskBar(clientArea, this, actionBar);
1615
d5f384bf1e88 more portal
dadubrow
parents: 1609
diff changeset
   195
		updater.addTaskBar(taskBar);
1609
085da1889c59 Portal initial commit
dadubrow
parents:
diff changeset
   196
		return taskBar;
085da1889c59 Portal initial commit
dadubrow
parents:
diff changeset
   197
	}
085da1889c59 Portal initial commit
dadubrow
parents:
diff changeset
   198
085da1889c59 Portal initial commit
dadubrow
parents:
diff changeset
   199
	private NavigationBar createNavigationBar(Composite parent) {
085da1889c59 Portal initial commit
dadubrow
parents:
diff changeset
   200
		NavigationBar bar = new NavigationBar(this, parent);
085da1889c59 Portal initial commit
dadubrow
parents:
diff changeset
   201
		for (IPortalPage page : uninitializedPages) {
085da1889c59 Portal initial commit
dadubrow
parents:
diff changeset
   202
			bar.addNavButton(bar, page);
085da1889c59 Portal initial commit
dadubrow
parents:
diff changeset
   203
		}
085da1889c59 Portal initial commit
dadubrow
parents:
diff changeset
   204
		
085da1889c59 Portal initial commit
dadubrow
parents:
diff changeset
   205
		return bar;
085da1889c59 Portal initial commit
dadubrow
parents:
diff changeset
   206
	}
085da1889c59 Portal initial commit
dadubrow
parents:
diff changeset
   207
	
085da1889c59 Portal initial commit
dadubrow
parents:
diff changeset
   208
	void showPage(IPortalPage page) {
085da1889c59 Portal initial commit
dadubrow
parents:
diff changeset
   209
		if (uninitializedPages.contains(page)) {
085da1889c59 Portal initial commit
dadubrow
parents:
diff changeset
   210
			uninitializedPages.remove(page);
085da1889c59 Portal initial commit
dadubrow
parents:
diff changeset
   211
			page.init();
085da1889c59 Portal initial commit
dadubrow
parents:
diff changeset
   212
		}
085da1889c59 Portal initial commit
dadubrow
parents:
diff changeset
   213
		stackComposite.showControl(pageToControlMap.get(page));
085da1889c59 Portal initial commit
dadubrow
parents:
diff changeset
   214
	}
085da1889c59 Portal initial commit
dadubrow
parents:
diff changeset
   215
085da1889c59 Portal initial commit
dadubrow
parents:
diff changeset
   216
	private void applyBG(final Composite composite) {
085da1889c59 Portal initial commit
dadubrow
parents:
diff changeset
   217
		composite.addListener(SWT.Resize, new Listener() {
085da1889c59 Portal initial commit
dadubrow
parents:
diff changeset
   218
			@Override
085da1889c59 Portal initial commit
dadubrow
parents:
diff changeset
   219
			public void handleEvent(Event event) {
085da1889c59 Portal initial commit
dadubrow
parents:
diff changeset
   220
				Rectangle rect = composite.getClientArea();
085da1889c59 Portal initial commit
dadubrow
parents:
diff changeset
   221
				Image newImage = new Image(composite.getDisplay(), rect.width, rect.height);
085da1889c59 Portal initial commit
dadubrow
parents:
diff changeset
   222
				GC gc = new GC(newImage);
085da1889c59 Portal initial commit
dadubrow
parents:
diff changeset
   223
				gc.setForeground(composite.getDisplay().getSystemColor(SWT.COLOR_BLACK));
1618
712d047abd8b Portal tweaks - use standard fonts, etc.
dadubrow
parents: 1616
diff changeset
   224
				gc.setBackground(composite.getDisplay().getSystemColor(SWT.COLOR_WIDGET_BACKGROUND));
1609
085da1889c59 Portal initial commit
dadubrow
parents:
diff changeset
   225
				gc.fillGradientRectangle(0, 0, rect.width, rect.height, true);
085da1889c59 Portal initial commit
dadubrow
parents:
diff changeset
   226
				gc.dispose();
085da1889c59 Portal initial commit
dadubrow
parents:
diff changeset
   227
				composite.setBackgroundImage(newImage);
085da1889c59 Portal initial commit
dadubrow
parents:
diff changeset
   228
085da1889c59 Portal initial commit
dadubrow
parents:
diff changeset
   229
				if (oldBGImg != null)
085da1889c59 Portal initial commit
dadubrow
parents:
diff changeset
   230
					oldBGImg.dispose();
085da1889c59 Portal initial commit
dadubrow
parents:
diff changeset
   231
				oldBGImg = newImage;
085da1889c59 Portal initial commit
dadubrow
parents:
diff changeset
   232
			}
085da1889c59 Portal initial commit
dadubrow
parents:
diff changeset
   233
		});
085da1889c59 Portal initial commit
dadubrow
parents:
diff changeset
   234
	}
085da1889c59 Portal initial commit
dadubrow
parents:
diff changeset
   235
085da1889c59 Portal initial commit
dadubrow
parents:
diff changeset
   236
	@Override
085da1889c59 Portal initial commit
dadubrow
parents:
diff changeset
   237
	public void setFocus() {
085da1889c59 Portal initial commit
dadubrow
parents:
diff changeset
   238
	}
085da1889c59 Portal initial commit
dadubrow
parents:
diff changeset
   239
	
085da1889c59 Portal initial commit
dadubrow
parents:
diff changeset
   240
	public static void openPortal() {
085da1889c59 Portal initial commit
dadubrow
parents:
diff changeset
   241
		try {
085da1889c59 Portal initial commit
dadubrow
parents:
diff changeset
   242
			WorkbenchUtils.openEditor(getInput(), ID);
085da1889c59 Portal initial commit
dadubrow
parents:
diff changeset
   243
		} catch (PartInitException e) {
1615
d5f384bf1e88 more portal
dadubrow
parents: 1609
diff changeset
   244
			Activator.logError(Messages.PortalEditor_PageOpenError, e);
1609
085da1889c59 Portal initial commit
dadubrow
parents:
diff changeset
   245
		}
085da1889c59 Portal initial commit
dadubrow
parents:
diff changeset
   246
	}
085da1889c59 Portal initial commit
dadubrow
parents:
diff changeset
   247
085da1889c59 Portal initial commit
dadubrow
parents:
diff changeset
   248
	private static IEditorInput getInput() {
085da1889c59 Portal initial commit
dadubrow
parents:
diff changeset
   249
		if (input == null) {
085da1889c59 Portal initial commit
dadubrow
parents:
diff changeset
   250
			input = new IEditorInput() {
085da1889c59 Portal initial commit
dadubrow
parents:
diff changeset
   251
				@SuppressWarnings("rawtypes")
085da1889c59 Portal initial commit
dadubrow
parents:
diff changeset
   252
				@Override
085da1889c59 Portal initial commit
dadubrow
parents:
diff changeset
   253
				public Object getAdapter(Class adapter) {
085da1889c59 Portal initial commit
dadubrow
parents:
diff changeset
   254
					return null;
085da1889c59 Portal initial commit
dadubrow
parents:
diff changeset
   255
				}
085da1889c59 Portal initial commit
dadubrow
parents:
diff changeset
   256
				
085da1889c59 Portal initial commit
dadubrow
parents:
diff changeset
   257
				@Override
085da1889c59 Portal initial commit
dadubrow
parents:
diff changeset
   258
				public String getToolTipText() {
085da1889c59 Portal initial commit
dadubrow
parents:
diff changeset
   259
					return getName();
085da1889c59 Portal initial commit
dadubrow
parents:
diff changeset
   260
				}
085da1889c59 Portal initial commit
dadubrow
parents:
diff changeset
   261
				
085da1889c59 Portal initial commit
dadubrow
parents:
diff changeset
   262
				@Override
085da1889c59 Portal initial commit
dadubrow
parents:
diff changeset
   263
				public IPersistableElement getPersistable() {
085da1889c59 Portal initial commit
dadubrow
parents:
diff changeset
   264
					return null;
085da1889c59 Portal initial commit
dadubrow
parents:
diff changeset
   265
				}
085da1889c59 Portal initial commit
dadubrow
parents:
diff changeset
   266
				
085da1889c59 Portal initial commit
dadubrow
parents:
diff changeset
   267
				@Override
085da1889c59 Portal initial commit
dadubrow
parents:
diff changeset
   268
				public String getName() {
1615
d5f384bf1e88 more portal
dadubrow
parents: 1609
diff changeset
   269
					return Messages.PortalEditor_Name;
1609
085da1889c59 Portal initial commit
dadubrow
parents:
diff changeset
   270
				}
085da1889c59 Portal initial commit
dadubrow
parents:
diff changeset
   271
				
085da1889c59 Portal initial commit
dadubrow
parents:
diff changeset
   272
				@Override
085da1889c59 Portal initial commit
dadubrow
parents:
diff changeset
   273
				public ImageDescriptor getImageDescriptor() {
085da1889c59 Portal initial commit
dadubrow
parents:
diff changeset
   274
					return null;
085da1889c59 Portal initial commit
dadubrow
parents:
diff changeset
   275
				}
085da1889c59 Portal initial commit
dadubrow
parents:
diff changeset
   276
				
085da1889c59 Portal initial commit
dadubrow
parents:
diff changeset
   277
				@Override
085da1889c59 Portal initial commit
dadubrow
parents:
diff changeset
   278
				public boolean exists() {
085da1889c59 Portal initial commit
dadubrow
parents:
diff changeset
   279
					return false;
085da1889c59 Portal initial commit
dadubrow
parents:
diff changeset
   280
				}
085da1889c59 Portal initial commit
dadubrow
parents:
diff changeset
   281
			};
085da1889c59 Portal initial commit
dadubrow
parents:
diff changeset
   282
		}
085da1889c59 Portal initial commit
dadubrow
parents:
diff changeset
   283
			
085da1889c59 Portal initial commit
dadubrow
parents:
diff changeset
   284
		return input;
085da1889c59 Portal initial commit
dadubrow
parents:
diff changeset
   285
	}
085da1889c59 Portal initial commit
dadubrow
parents:
diff changeset
   286
	
1618
712d047abd8b Portal tweaks - use standard fonts, etc.
dadubrow
parents: 1616
diff changeset
   287
	Image createImage(ImageDescriptor desc, int width, int height) {
712d047abd8b Portal tweaks - use standard fonts, etc.
dadubrow
parents: 1616
diff changeset
   288
		Image image;
712d047abd8b Portal tweaks - use standard fonts, etc.
dadubrow
parents: 1616
diff changeset
   289
		ImageData data = desc.getImageData();
712d047abd8b Portal tweaks - use standard fonts, etc.
dadubrow
parents: 1616
diff changeset
   290
		if (data.width != width || data.height != height) {
712d047abd8b Portal tweaks - use standard fonts, etc.
dadubrow
parents: 1616
diff changeset
   291
			image = new Image(Display.getCurrent(), desc.getImageData().scaledTo(width, height));
712d047abd8b Portal tweaks - use standard fonts, etc.
dadubrow
parents: 1616
diff changeset
   292
		}
712d047abd8b Portal tweaks - use standard fonts, etc.
dadubrow
parents: 1616
diff changeset
   293
		else {
712d047abd8b Portal tweaks - use standard fonts, etc.
dadubrow
parents: 1616
diff changeset
   294
			image = desc.createImage();
712d047abd8b Portal tweaks - use standard fonts, etc.
dadubrow
parents: 1616
diff changeset
   295
		}
1609
085da1889c59 Portal initial commit
dadubrow
parents:
diff changeset
   296
		resources.add(image);
085da1889c59 Portal initial commit
dadubrow
parents:
diff changeset
   297
		return image;
085da1889c59 Portal initial commit
dadubrow
parents:
diff changeset
   298
	}
085da1889c59 Portal initial commit
dadubrow
parents:
diff changeset
   299
	
1618
712d047abd8b Portal tweaks - use standard fonts, etc.
dadubrow
parents: 1616
diff changeset
   300
	Font createFont(FontDescriptor desc) {
712d047abd8b Portal tweaks - use standard fonts, etc.
dadubrow
parents: 1616
diff changeset
   301
		Font font = desc.createFont(Display.getCurrent());
1609
085da1889c59 Portal initial commit
dadubrow
parents:
diff changeset
   302
		resources.add(font);
085da1889c59 Portal initial commit
dadubrow
parents:
diff changeset
   303
		return font;
085da1889c59 Portal initial commit
dadubrow
parents:
diff changeset
   304
	}
085da1889c59 Portal initial commit
dadubrow
parents:
diff changeset
   305
	
085da1889c59 Portal initial commit
dadubrow
parents:
diff changeset
   306
	@Override
085da1889c59 Portal initial commit
dadubrow
parents:
diff changeset
   307
	public void dispose() {
085da1889c59 Portal initial commit
dadubrow
parents:
diff changeset
   308
		super.dispose();
085da1889c59 Portal initial commit
dadubrow
parents:
diff changeset
   309
		for (Resource resource : resources) {
085da1889c59 Portal initial commit
dadubrow
parents:
diff changeset
   310
			resource.dispose();
085da1889c59 Portal initial commit
dadubrow
parents:
diff changeset
   311
		}
085da1889c59 Portal initial commit
dadubrow
parents:
diff changeset
   312
		if (oldBGImg != null)
085da1889c59 Portal initial commit
dadubrow
parents:
diff changeset
   313
			oldBGImg.dispose();
085da1889c59 Portal initial commit
dadubrow
parents:
diff changeset
   314
	}
085da1889c59 Portal initial commit
dadubrow
parents:
diff changeset
   315
085da1889c59 Portal initial commit
dadubrow
parents:
diff changeset
   316
	public Composite getBackgroundParent() {
085da1889c59 Portal initial commit
dadubrow
parents:
diff changeset
   317
		return backgroundParent;
085da1889c59 Portal initial commit
dadubrow
parents:
diff changeset
   318
	}
085da1889c59 Portal initial commit
dadubrow
parents:
diff changeset
   319
085da1889c59 Portal initial commit
dadubrow
parents:
diff changeset
   320
}