core/com.nokia.carbide.discovery.ui/src/com/nokia/carbide/internal/discovery/ui/extension/AbstractBrowserPortalPageLayer.java
author dadubrow
Tue, 03 Aug 2010 09:15:03 -0500
changeset 1744 48b623de4c8e
parent 1734 bf670d38123a
child 1782 cd82069687e4
permissions -rw-r--r--
Fix possible NPE, report better error, tweaks
Ignore whitespace changes - Everywhere: Within whitespace: At end of lines:
1634
c8405758cfd4 add portal support for browser page
dadubrow
parents:
diff changeset
     1
/*
c8405758cfd4 add portal support for browser page
dadubrow
parents:
diff changeset
     2
* Copyright (c) 2010 Nokia Corporation and/or its subsidiary(-ies).
c8405758cfd4 add portal support for browser page
dadubrow
parents:
diff changeset
     3
* All rights reserved.
c8405758cfd4 add portal support for browser page
dadubrow
parents:
diff changeset
     4
* This component and the accompanying materials are made available
c8405758cfd4 add portal support for browser page
dadubrow
parents:
diff changeset
     5
* under the terms of the License "Eclipse Public License v1.0"
c8405758cfd4 add portal support for browser page
dadubrow
parents:
diff changeset
     6
* which accompanies this distribution, and is available
c8405758cfd4 add portal support for browser page
dadubrow
parents:
diff changeset
     7
* at the URL "http://www.eclipse.org/legal/epl-v10.html".
c8405758cfd4 add portal support for browser page
dadubrow
parents:
diff changeset
     8
*
c8405758cfd4 add portal support for browser page
dadubrow
parents:
diff changeset
     9
* Initial Contributors:
c8405758cfd4 add portal support for browser page
dadubrow
parents:
diff changeset
    10
* Nokia Corporation - initial contribution.
c8405758cfd4 add portal support for browser page
dadubrow
parents:
diff changeset
    11
*
c8405758cfd4 add portal support for browser page
dadubrow
parents:
diff changeset
    12
* Contributors:
c8405758cfd4 add portal support for browser page
dadubrow
parents:
diff changeset
    13
*
c8405758cfd4 add portal support for browser page
dadubrow
parents:
diff changeset
    14
* Description: 
c8405758cfd4 add portal support for browser page
dadubrow
parents:
diff changeset
    15
*
c8405758cfd4 add portal support for browser page
dadubrow
parents:
diff changeset
    16
*/
c8405758cfd4 add portal support for browser page
dadubrow
parents:
diff changeset
    17
package com.nokia.carbide.internal.discovery.ui.extension;
c8405758cfd4 add portal support for browser page
dadubrow
parents:
diff changeset
    18
c8405758cfd4 add portal support for browser page
dadubrow
parents:
diff changeset
    19
import java.net.MalformedURLException;
c8405758cfd4 add portal support for browser page
dadubrow
parents:
diff changeset
    20
import java.net.URL;
1721
18638adda547 more portal changes:
dadubrow
parents: 1705
diff changeset
    21
import java.util.LinkedHashSet;
18638adda547 more portal changes:
dadubrow
parents: 1705
diff changeset
    22
import java.util.Set;
1634
c8405758cfd4 add portal support for browser page
dadubrow
parents:
diff changeset
    23
c8405758cfd4 add portal support for browser page
dadubrow
parents:
diff changeset
    24
import org.eclipse.jface.action.Action;
c8405758cfd4 add portal support for browser page
dadubrow
parents:
diff changeset
    25
import org.eclipse.jface.action.IAction;
1721
18638adda547 more portal changes:
dadubrow
parents: 1705
diff changeset
    26
import org.eclipse.jface.dialogs.Dialog;
18638adda547 more portal changes:
dadubrow
parents: 1705
diff changeset
    27
import org.eclipse.jface.dialogs.IInputValidator;
18638adda547 more portal changes:
dadubrow
parents: 1705
diff changeset
    28
import org.eclipse.jface.dialogs.InputDialog;
1634
c8405758cfd4 add portal support for browser page
dadubrow
parents:
diff changeset
    29
import org.eclipse.swt.SWT;
c8405758cfd4 add portal support for browser page
dadubrow
parents:
diff changeset
    30
import org.eclipse.swt.SWTError;
c8405758cfd4 add portal support for browser page
dadubrow
parents:
diff changeset
    31
import org.eclipse.swt.browser.Browser;
c8405758cfd4 add portal support for browser page
dadubrow
parents:
diff changeset
    32
import org.eclipse.swt.browser.LocationAdapter;
c8405758cfd4 add portal support for browser page
dadubrow
parents:
diff changeset
    33
import org.eclipse.swt.browser.LocationEvent;
1721
18638adda547 more portal changes:
dadubrow
parents: 1705
diff changeset
    34
import org.eclipse.swt.browser.OpenWindowListener;
1634
c8405758cfd4 add portal support for browser page
dadubrow
parents:
diff changeset
    35
import org.eclipse.swt.browser.ProgressAdapter;
c8405758cfd4 add portal support for browser page
dadubrow
parents:
diff changeset
    36
import org.eclipse.swt.browser.ProgressEvent;
1721
18638adda547 more portal changes:
dadubrow
parents: 1705
diff changeset
    37
import org.eclipse.swt.browser.WindowEvent;
1634
c8405758cfd4 add portal support for browser page
dadubrow
parents:
diff changeset
    38
import org.eclipse.swt.layout.FillLayout;
c8405758cfd4 add portal support for browser page
dadubrow
parents:
diff changeset
    39
import org.eclipse.swt.widgets.Composite;
c8405758cfd4 add portal support for browser page
dadubrow
parents:
diff changeset
    40
import org.eclipse.swt.widgets.Control;
c8405758cfd4 add portal support for browser page
dadubrow
parents:
diff changeset
    41
import org.eclipse.ui.IEditorPart;
c8405758cfd4 add portal support for browser page
dadubrow
parents:
diff changeset
    42
c8405758cfd4 add portal support for browser page
dadubrow
parents:
diff changeset
    43
import com.nokia.carbide.discovery.ui.Activator;
1661
cd8159f371c7 multiple changes:
dadubrow
parents: 1653
diff changeset
    44
import com.nokia.carbide.discovery.ui.Messages;
1721
18638adda547 more portal changes:
dadubrow
parents: 1705
diff changeset
    45
import com.nokia.cpp.internal.api.utils.ui.WorkbenchUtils;
1634
c8405758cfd4 add portal support for browser page
dadubrow
parents:
diff changeset
    46
1721
18638adda547 more portal changes:
dadubrow
parents: 1705
diff changeset
    47
public abstract class AbstractBrowserPortalPageLayer implements IPortalPageLayer {
1634
c8405758cfd4 add portal support for browser page
dadubrow
parents:
diff changeset
    48
1721
18638adda547 more portal changes:
dadubrow
parents: 1705
diff changeset
    49
	protected class BrowserAction extends Action {
18638adda547 more portal changes:
dadubrow
parents: 1705
diff changeset
    50
		
18638adda547 more portal changes:
dadubrow
parents: 1705
diff changeset
    51
		public BrowserAction(String text) {
18638adda547 more portal changes:
dadubrow
parents: 1705
diff changeset
    52
			super(text);
18638adda547 more portal changes:
dadubrow
parents: 1705
diff changeset
    53
		}
18638adda547 more portal changes:
dadubrow
parents: 1705
diff changeset
    54
18638adda547 more portal changes:
dadubrow
parents: 1705
diff changeset
    55
		@Override
18638adda547 more portal changes:
dadubrow
parents: 1705
diff changeset
    56
		public boolean isEnabled() {
18638adda547 more portal changes:
dadubrow
parents: 1705
diff changeset
    57
			return browser != null && !actionBar.isLoading();
18638adda547 more portal changes:
dadubrow
parents: 1705
diff changeset
    58
		}
18638adda547 more portal changes:
dadubrow
parents: 1705
diff changeset
    59
	}
18638adda547 more portal changes:
dadubrow
parents: 1705
diff changeset
    60
	
18638adda547 more portal changes:
dadubrow
parents: 1705
diff changeset
    61
	protected class NavigationActionBar implements IActionBar {
18638adda547 more portal changes:
dadubrow
parents: 1705
diff changeset
    62
		private Set<IAction> actions;
1634
c8405758cfd4 add portal support for browser page
dadubrow
parents:
diff changeset
    63
		private IActionUIUpdater updater;
c8405758cfd4 add portal support for browser page
dadubrow
parents:
diff changeset
    64
		private boolean loading;
c8405758cfd4 add portal support for browser page
dadubrow
parents:
diff changeset
    65
c8405758cfd4 add portal support for browser page
dadubrow
parents:
diff changeset
    66
		private NavigationActionBar(IActionUIUpdater updater) {
c8405758cfd4 add portal support for browser page
dadubrow
parents:
diff changeset
    67
			this.updater = updater;
1721
18638adda547 more portal changes:
dadubrow
parents: 1705
diff changeset
    68
			actions = makeActions();
1634
c8405758cfd4 add portal support for browser page
dadubrow
parents:
diff changeset
    69
		}
c8405758cfd4 add portal support for browser page
dadubrow
parents:
diff changeset
    70
c8405758cfd4 add portal support for browser page
dadubrow
parents:
diff changeset
    71
		public void hookBrowser() {
c8405758cfd4 add portal support for browser page
dadubrow
parents:
diff changeset
    72
			browser.addLocationListener(new LocationAdapter() {
c8405758cfd4 add portal support for browser page
dadubrow
parents:
diff changeset
    73
				@Override
c8405758cfd4 add portal support for browser page
dadubrow
parents:
diff changeset
    74
				public void changed(LocationEvent event) {
c8405758cfd4 add portal support for browser page
dadubrow
parents:
diff changeset
    75
					NavigationActionBar.this.updater.updateAll();
c8405758cfd4 add portal support for browser page
dadubrow
parents:
diff changeset
    76
				}
c8405758cfd4 add portal support for browser page
dadubrow
parents:
diff changeset
    77
			});
c8405758cfd4 add portal support for browser page
dadubrow
parents:
diff changeset
    78
			browser.addProgressListener(new ProgressAdapter() {
c8405758cfd4 add portal support for browser page
dadubrow
parents:
diff changeset
    79
				@Override
c8405758cfd4 add portal support for browser page
dadubrow
parents:
diff changeset
    80
				public void changed(ProgressEvent event) {
c8405758cfd4 add portal support for browser page
dadubrow
parents:
diff changeset
    81
	                if (event.total == 0)
c8405758cfd4 add portal support for browser page
dadubrow
parents:
diff changeset
    82
	                    return;
1653
af990ce6899d tweak portal ui
dadubrow
parents: 1637
diff changeset
    83
	                setLoading(event.current != event.total);
1634
c8405758cfd4 add portal support for browser page
dadubrow
parents:
diff changeset
    84
					NavigationActionBar.this.updater.updateAll();
c8405758cfd4 add portal support for browser page
dadubrow
parents:
diff changeset
    85
				}
c8405758cfd4 add portal support for browser page
dadubrow
parents:
diff changeset
    86
				@Override
c8405758cfd4 add portal support for browser page
dadubrow
parents:
diff changeset
    87
				public void completed(ProgressEvent event) {
1653
af990ce6899d tweak portal ui
dadubrow
parents: 1637
diff changeset
    88
					setLoading(false);
1634
c8405758cfd4 add portal support for browser page
dadubrow
parents:
diff changeset
    89
					NavigationActionBar.this.updater.updateAll();
c8405758cfd4 add portal support for browser page
dadubrow
parents:
diff changeset
    90
				}
c8405758cfd4 add portal support for browser page
dadubrow
parents:
diff changeset
    91
			});
1721
18638adda547 more portal changes:
dadubrow
parents: 1705
diff changeset
    92
			browser.addOpenWindowListener(new OpenWindowListener() {
18638adda547 more portal changes:
dadubrow
parents: 1705
diff changeset
    93
				@Override
18638adda547 more portal changes:
dadubrow
parents: 1705
diff changeset
    94
				public void open(WindowEvent event) {
18638adda547 more portal changes:
dadubrow
parents: 1705
diff changeset
    95
					event.browser = browser;
18638adda547 more portal changes:
dadubrow
parents: 1705
diff changeset
    96
				}
18638adda547 more portal changes:
dadubrow
parents: 1705
diff changeset
    97
			});
1634
c8405758cfd4 add portal support for browser page
dadubrow
parents:
diff changeset
    98
		}
c8405758cfd4 add portal support for browser page
dadubrow
parents:
diff changeset
    99
c8405758cfd4 add portal support for browser page
dadubrow
parents:
diff changeset
   100
		@Override
c8405758cfd4 add portal support for browser page
dadubrow
parents:
diff changeset
   101
		public String getTitle() {
1661
cd8159f371c7 multiple changes:
dadubrow
parents: 1653
diff changeset
   102
			return Messages.AbstractBrowserPortalPage_NavigationTitle;
1634
c8405758cfd4 add portal support for browser page
dadubrow
parents:
diff changeset
   103
		}
c8405758cfd4 add portal support for browser page
dadubrow
parents:
diff changeset
   104
c8405758cfd4 add portal support for browser page
dadubrow
parents:
diff changeset
   105
		@Override
c8405758cfd4 add portal support for browser page
dadubrow
parents:
diff changeset
   106
		public IAction[] getActions() {
c8405758cfd4 add portal support for browser page
dadubrow
parents:
diff changeset
   107
			return (IAction[]) actions.toArray(new IAction[actions.size()]);
c8405758cfd4 add portal support for browser page
dadubrow
parents:
diff changeset
   108
		}
c8405758cfd4 add portal support for browser page
dadubrow
parents:
diff changeset
   109
c8405758cfd4 add portal support for browser page
dadubrow
parents:
diff changeset
   110
		public void update() {
c8405758cfd4 add portal support for browser page
dadubrow
parents:
diff changeset
   111
			updater.updateAll();
c8405758cfd4 add portal support for browser page
dadubrow
parents:
diff changeset
   112
		}
c8405758cfd4 add portal support for browser page
dadubrow
parents:
diff changeset
   113
1734
bf670d38123a More portal framework changes:
dadubrow
parents: 1721
diff changeset
   114
		public void setLoading(boolean loading) {
bf670d38123a More portal framework changes:
dadubrow
parents: 1721
diff changeset
   115
			Activator.setBusyCursor(browser, loading);
1653
af990ce6899d tweak portal ui
dadubrow
parents: 1637
diff changeset
   116
			this.loading = loading;
af990ce6899d tweak portal ui
dadubrow
parents: 1637
diff changeset
   117
		}
1661
cd8159f371c7 multiple changes:
dadubrow
parents: 1653
diff changeset
   118
cd8159f371c7 multiple changes:
dadubrow
parents: 1653
diff changeset
   119
		@Override
cd8159f371c7 multiple changes:
dadubrow
parents: 1653
diff changeset
   120
		public String[] getHighlightedActionIds() {
cd8159f371c7 multiple changes:
dadubrow
parents: 1653
diff changeset
   121
			return null;
cd8159f371c7 multiple changes:
dadubrow
parents: 1653
diff changeset
   122
		}
1721
18638adda547 more portal changes:
dadubrow
parents: 1705
diff changeset
   123
18638adda547 more portal changes:
dadubrow
parents: 1705
diff changeset
   124
		public boolean isLoading() {
18638adda547 more portal changes:
dadubrow
parents: 1705
diff changeset
   125
			return loading;
18638adda547 more portal changes:
dadubrow
parents: 1705
diff changeset
   126
		}
1634
c8405758cfd4 add portal support for browser page
dadubrow
parents:
diff changeset
   127
	}
c8405758cfd4 add portal support for browser page
dadubrow
parents:
diff changeset
   128
1721
18638adda547 more portal changes:
dadubrow
parents: 1705
diff changeset
   129
	protected Browser browser;
18638adda547 more portal changes:
dadubrow
parents: 1705
diff changeset
   130
	protected NavigationActionBar actionBar;
1634
c8405758cfd4 add portal support for browser page
dadubrow
parents:
diff changeset
   131
c8405758cfd4 add portal support for browser page
dadubrow
parents:
diff changeset
   132
	@Override
c8405758cfd4 add portal support for browser page
dadubrow
parents:
diff changeset
   133
	public Control createControl(Composite parent, IEditorPart part) {
c8405758cfd4 add portal support for browser page
dadubrow
parents:
diff changeset
   134
		Composite composite = new Composite(parent, SWT.NONE);
c8405758cfd4 add portal support for browser page
dadubrow
parents:
diff changeset
   135
		composite.setBackground(parent.getDisplay().getSystemColor(SWT.COLOR_WIDGET_BACKGROUND));
c8405758cfd4 add portal support for browser page
dadubrow
parents:
diff changeset
   136
		composite.setLayout(new FillLayout());
c8405758cfd4 add portal support for browser page
dadubrow
parents:
diff changeset
   137
		try {
1637
06fc2fdd1ac4 add mozilla support
dadubrow
parents: 1634
diff changeset
   138
			browser = new Browser(composite, SWT.MOZILLA);
1634
c8405758cfd4 add portal support for browser page
dadubrow
parents:
diff changeset
   139
		} catch (SWTError e) {
1744
48b623de4c8e Fix possible NPE, report better error, tweaks
dadubrow
parents: 1734
diff changeset
   140
			Activator.logError(Messages.AbstractBrowserPortalPageLayer_BrowserCreateError, e);
1634
c8405758cfd4 add portal support for browser page
dadubrow
parents:
diff changeset
   141
		}
c8405758cfd4 add portal support for browser page
dadubrow
parents:
diff changeset
   142
		
c8405758cfd4 add portal support for browser page
dadubrow
parents:
diff changeset
   143
		return composite;
c8405758cfd4 add portal support for browser page
dadubrow
parents:
diff changeset
   144
	}
c8405758cfd4 add portal support for browser page
dadubrow
parents:
diff changeset
   145
1721
18638adda547 more portal changes:
dadubrow
parents: 1705
diff changeset
   146
	protected URL getURL() {
1634
c8405758cfd4 add portal support for browser page
dadubrow
parents:
diff changeset
   147
		try {
1721
18638adda547 more portal changes:
dadubrow
parents: 1705
diff changeset
   148
			return new URL(Activator.getFromServerProperties(getClass().getName()));
1634
c8405758cfd4 add portal support for browser page
dadubrow
parents:
diff changeset
   149
		} catch (MalformedURLException e) {
1721
18638adda547 more portal changes:
dadubrow
parents: 1705
diff changeset
   150
			Activator.logError(Messages.AbstractBrowserPortalPageLayer_BadURLError, e);
1634
c8405758cfd4 add portal support for browser page
dadubrow
parents:
diff changeset
   151
		}
c8405758cfd4 add portal support for browser page
dadubrow
parents:
diff changeset
   152
		
c8405758cfd4 add portal support for browser page
dadubrow
parents:
diff changeset
   153
		return null;
c8405758cfd4 add portal support for browser page
dadubrow
parents:
diff changeset
   154
	}
c8405758cfd4 add portal support for browser page
dadubrow
parents:
diff changeset
   155
c8405758cfd4 add portal support for browser page
dadubrow
parents:
diff changeset
   156
	@Override
c8405758cfd4 add portal support for browser page
dadubrow
parents:
diff changeset
   157
	public void init() {
c8405758cfd4 add portal support for browser page
dadubrow
parents:
diff changeset
   158
		if (browser != null) {
1734
bf670d38123a More portal framework changes:
dadubrow
parents: 1721
diff changeset
   159
			Activator.runInUIThreadWhenProxyDataSet(browser, new Runnable() {
bf670d38123a More portal framework changes:
dadubrow
parents: 1721
diff changeset
   160
				@Override
bf670d38123a More portal framework changes:
dadubrow
parents: 1721
diff changeset
   161
				public void run() {
bf670d38123a More portal framework changes:
dadubrow
parents: 1721
diff changeset
   162
					URL url = getURL();
bf670d38123a More portal framework changes:
dadubrow
parents: 1721
diff changeset
   163
					if (url != null) {
bf670d38123a More portal framework changes:
dadubrow
parents: 1721
diff changeset
   164
						browser.setUrl(url.toString());
bf670d38123a More portal framework changes:
dadubrow
parents: 1721
diff changeset
   165
						actionBar.setLoading(true);
bf670d38123a More portal framework changes:
dadubrow
parents: 1721
diff changeset
   166
					}
bf670d38123a More portal framework changes:
dadubrow
parents: 1721
diff changeset
   167
					actionBar.hookBrowser();
bf670d38123a More portal framework changes:
dadubrow
parents: 1721
diff changeset
   168
					actionBar.update();
bf670d38123a More portal framework changes:
dadubrow
parents: 1721
diff changeset
   169
				}
bf670d38123a More portal framework changes:
dadubrow
parents: 1721
diff changeset
   170
			});
1634
c8405758cfd4 add portal support for browser page
dadubrow
parents:
diff changeset
   171
		}
c8405758cfd4 add portal support for browser page
dadubrow
parents:
diff changeset
   172
	}
c8405758cfd4 add portal support for browser page
dadubrow
parents:
diff changeset
   173
	
c8405758cfd4 add portal support for browser page
dadubrow
parents:
diff changeset
   174
	@Override
c8405758cfd4 add portal support for browser page
dadubrow
parents:
diff changeset
   175
	public IActionBar[] createCommandBars(IEditorPart part, IActionUIUpdater updater) {
c8405758cfd4 add portal support for browser page
dadubrow
parents:
diff changeset
   176
		actionBar = new NavigationActionBar(updater);
c8405758cfd4 add portal support for browser page
dadubrow
parents:
diff changeset
   177
		return new IActionBar[] {
c8405758cfd4 add portal support for browser page
dadubrow
parents:
diff changeset
   178
			actionBar
c8405758cfd4 add portal support for browser page
dadubrow
parents:
diff changeset
   179
		};
c8405758cfd4 add portal support for browser page
dadubrow
parents:
diff changeset
   180
	}
c8405758cfd4 add portal support for browser page
dadubrow
parents:
diff changeset
   181
c8405758cfd4 add portal support for browser page
dadubrow
parents:
diff changeset
   182
	@Override
c8405758cfd4 add portal support for browser page
dadubrow
parents:
diff changeset
   183
	public void dispose() {
c8405758cfd4 add portal support for browser page
dadubrow
parents:
diff changeset
   184
	}
1653
af990ce6899d tweak portal ui
dadubrow
parents: 1637
diff changeset
   185
	
1721
18638adda547 more portal changes:
dadubrow
parents: 1705
diff changeset
   186
	protected Set<IAction> makeActions() {
18638adda547 more portal changes:
dadubrow
parents: 1705
diff changeset
   187
		Set<IAction> actions = new LinkedHashSet<IAction>();
18638adda547 more portal changes:
dadubrow
parents: 1705
diff changeset
   188
		IAction a = new BrowserAction(Messages.AbstractBrowserPortalPage_BackLabel) {
18638adda547 more portal changes:
dadubrow
parents: 1705
diff changeset
   189
			@Override
18638adda547 more portal changes:
dadubrow
parents: 1705
diff changeset
   190
			public void run() {
18638adda547 more portal changes:
dadubrow
parents: 1705
diff changeset
   191
				if (browser != null) {
18638adda547 more portal changes:
dadubrow
parents: 1705
diff changeset
   192
					browser.back();
18638adda547 more portal changes:
dadubrow
parents: 1705
diff changeset
   193
				}
18638adda547 more portal changes:
dadubrow
parents: 1705
diff changeset
   194
			}
18638adda547 more portal changes:
dadubrow
parents: 1705
diff changeset
   195
			
18638adda547 more portal changes:
dadubrow
parents: 1705
diff changeset
   196
			@Override
18638adda547 more portal changes:
dadubrow
parents: 1705
diff changeset
   197
			public boolean isEnabled() {
18638adda547 more portal changes:
dadubrow
parents: 1705
diff changeset
   198
				return super.isEnabled() && browser.isBackEnabled();
18638adda547 more portal changes:
dadubrow
parents: 1705
diff changeset
   199
			}
18638adda547 more portal changes:
dadubrow
parents: 1705
diff changeset
   200
		};
18638adda547 more portal changes:
dadubrow
parents: 1705
diff changeset
   201
		actions.add(a);
18638adda547 more portal changes:
dadubrow
parents: 1705
diff changeset
   202
		
18638adda547 more portal changes:
dadubrow
parents: 1705
diff changeset
   203
		a = new BrowserAction(Messages.AbstractBrowserPortalPageLayer_ForwardLabel) {
18638adda547 more portal changes:
dadubrow
parents: 1705
diff changeset
   204
			@Override
18638adda547 more portal changes:
dadubrow
parents: 1705
diff changeset
   205
			public void run() {
18638adda547 more portal changes:
dadubrow
parents: 1705
diff changeset
   206
				if (browser != null) {
18638adda547 more portal changes:
dadubrow
parents: 1705
diff changeset
   207
					browser.forward();
18638adda547 more portal changes:
dadubrow
parents: 1705
diff changeset
   208
				}
18638adda547 more portal changes:
dadubrow
parents: 1705
diff changeset
   209
			}
18638adda547 more portal changes:
dadubrow
parents: 1705
diff changeset
   210
			
18638adda547 more portal changes:
dadubrow
parents: 1705
diff changeset
   211
			@Override
18638adda547 more portal changes:
dadubrow
parents: 1705
diff changeset
   212
			public boolean isEnabled() {
18638adda547 more portal changes:
dadubrow
parents: 1705
diff changeset
   213
				return super.isEnabled() && browser.isForwardEnabled();
18638adda547 more portal changes:
dadubrow
parents: 1705
diff changeset
   214
			}
18638adda547 more portal changes:
dadubrow
parents: 1705
diff changeset
   215
		};
18638adda547 more portal changes:
dadubrow
parents: 1705
diff changeset
   216
		actions.add(a);
18638adda547 more portal changes:
dadubrow
parents: 1705
diff changeset
   217
		
18638adda547 more portal changes:
dadubrow
parents: 1705
diff changeset
   218
		a = new BrowserAction(Messages.AbstractBrowserPortalPage_RefreshLabel) {
18638adda547 more portal changes:
dadubrow
parents: 1705
diff changeset
   219
			@Override
18638adda547 more portal changes:
dadubrow
parents: 1705
diff changeset
   220
			public void run() {
18638adda547 more portal changes:
dadubrow
parents: 1705
diff changeset
   221
				if (browser != null) {
18638adda547 more portal changes:
dadubrow
parents: 1705
diff changeset
   222
					browser.refresh();
18638adda547 more portal changes:
dadubrow
parents: 1705
diff changeset
   223
					actionBar.update();
18638adda547 more portal changes:
dadubrow
parents: 1705
diff changeset
   224
				}
18638adda547 more portal changes:
dadubrow
parents: 1705
diff changeset
   225
			}
18638adda547 more portal changes:
dadubrow
parents: 1705
diff changeset
   226
		};
18638adda547 more portal changes:
dadubrow
parents: 1705
diff changeset
   227
		actions.add(a);
18638adda547 more portal changes:
dadubrow
parents: 1705
diff changeset
   228
18638adda547 more portal changes:
dadubrow
parents: 1705
diff changeset
   229
		a = new Action(Messages.AbstractBrowserPortalPage_StopLabel) {
18638adda547 more portal changes:
dadubrow
parents: 1705
diff changeset
   230
			@Override
18638adda547 more portal changes:
dadubrow
parents: 1705
diff changeset
   231
			public void run() {
18638adda547 more portal changes:
dadubrow
parents: 1705
diff changeset
   232
				if (browser != null) {
18638adda547 more portal changes:
dadubrow
parents: 1705
diff changeset
   233
					browser.stop();
18638adda547 more portal changes:
dadubrow
parents: 1705
diff changeset
   234
					actionBar.update();
18638adda547 more portal changes:
dadubrow
parents: 1705
diff changeset
   235
				}
18638adda547 more portal changes:
dadubrow
parents: 1705
diff changeset
   236
			}
18638adda547 more portal changes:
dadubrow
parents: 1705
diff changeset
   237
18638adda547 more portal changes:
dadubrow
parents: 1705
diff changeset
   238
			@Override
18638adda547 more portal changes:
dadubrow
parents: 1705
diff changeset
   239
			public boolean isEnabled() {
18638adda547 more portal changes:
dadubrow
parents: 1705
diff changeset
   240
				return browser != null && actionBar.isLoading();
18638adda547 more portal changes:
dadubrow
parents: 1705
diff changeset
   241
			}
18638adda547 more portal changes:
dadubrow
parents: 1705
diff changeset
   242
		};
18638adda547 more portal changes:
dadubrow
parents: 1705
diff changeset
   243
		actions.add(a);
18638adda547 more portal changes:
dadubrow
parents: 1705
diff changeset
   244
		
18638adda547 more portal changes:
dadubrow
parents: 1705
diff changeset
   245
		a = new BrowserAction(Messages.AbstractBrowserPortalPageLayer_ShowInBrowserLabel) {
18638adda547 more portal changes:
dadubrow
parents: 1705
diff changeset
   246
			public void run() {
18638adda547 more portal changes:
dadubrow
parents: 1705
diff changeset
   247
				WorkbenchUtils.showWebPageInExternalBrowser(browser.getUrl());
18638adda547 more portal changes:
dadubrow
parents: 1705
diff changeset
   248
			};
18638adda547 more portal changes:
dadubrow
parents: 1705
diff changeset
   249
			
18638adda547 more portal changes:
dadubrow
parents: 1705
diff changeset
   250
			public boolean isEnabled() {
18638adda547 more portal changes:
dadubrow
parents: 1705
diff changeset
   251
				return super.isEnabled() && browserHasURL();
18638adda547 more portal changes:
dadubrow
parents: 1705
diff changeset
   252
			};
18638adda547 more portal changes:
dadubrow
parents: 1705
diff changeset
   253
		};
18638adda547 more portal changes:
dadubrow
parents: 1705
diff changeset
   254
		actions.add(a);
18638adda547 more portal changes:
dadubrow
parents: 1705
diff changeset
   255
		
18638adda547 more portal changes:
dadubrow
parents: 1705
diff changeset
   256
		a = new Action(Messages.AbstractBrowserPortalPageLayer_OpenLocationLabel) {
18638adda547 more portal changes:
dadubrow
parents: 1705
diff changeset
   257
			public void run() {
18638adda547 more portal changes:
dadubrow
parents: 1705
diff changeset
   258
				InputDialog dlg = new InputDialog(browser.getShell(), 
18638adda547 more portal changes:
dadubrow
parents: 1705
diff changeset
   259
						Messages.AbstractBrowserPortalPageLayer_OpenLocationTitle, Messages.AbstractBrowserPortalPageLayer_URLLabel, null, new IInputValidator() {
18638adda547 more portal changes:
dadubrow
parents: 1705
diff changeset
   260
					@Override
18638adda547 more portal changes:
dadubrow
parents: 1705
diff changeset
   261
					public String isValid(String newText) {
18638adda547 more portal changes:
dadubrow
parents: 1705
diff changeset
   262
						try {
18638adda547 more portal changes:
dadubrow
parents: 1705
diff changeset
   263
							new URL(newText);
18638adda547 more portal changes:
dadubrow
parents: 1705
diff changeset
   264
						} catch (MalformedURLException e) {
18638adda547 more portal changes:
dadubrow
parents: 1705
diff changeset
   265
							return Messages.AbstractBrowserPortalPageLayer_InvalidURLError;
18638adda547 more portal changes:
dadubrow
parents: 1705
diff changeset
   266
						}
18638adda547 more portal changes:
dadubrow
parents: 1705
diff changeset
   267
						return null;
18638adda547 more portal changes:
dadubrow
parents: 1705
diff changeset
   268
					}
18638adda547 more portal changes:
dadubrow
parents: 1705
diff changeset
   269
				});
18638adda547 more portal changes:
dadubrow
parents: 1705
diff changeset
   270
				int result = dlg.open();
18638adda547 more portal changes:
dadubrow
parents: 1705
diff changeset
   271
				if (result == Dialog.OK) {
18638adda547 more portal changes:
dadubrow
parents: 1705
diff changeset
   272
					browser.setUrl(dlg.getValue());
18638adda547 more portal changes:
dadubrow
parents: 1705
diff changeset
   273
					actionBar.update();
18638adda547 more portal changes:
dadubrow
parents: 1705
diff changeset
   274
				}
18638adda547 more portal changes:
dadubrow
parents: 1705
diff changeset
   275
			};
18638adda547 more portal changes:
dadubrow
parents: 1705
diff changeset
   276
			
18638adda547 more portal changes:
dadubrow
parents: 1705
diff changeset
   277
			public boolean isEnabled() {
18638adda547 more portal changes:
dadubrow
parents: 1705
diff changeset
   278
				return browser != null;
18638adda547 more portal changes:
dadubrow
parents: 1705
diff changeset
   279
			};
18638adda547 more portal changes:
dadubrow
parents: 1705
diff changeset
   280
		};
18638adda547 more portal changes:
dadubrow
parents: 1705
diff changeset
   281
		actions.add(a);
18638adda547 more portal changes:
dadubrow
parents: 1705
diff changeset
   282
		
18638adda547 more portal changes:
dadubrow
parents: 1705
diff changeset
   283
		return actions;
18638adda547 more portal changes:
dadubrow
parents: 1705
diff changeset
   284
	}
18638adda547 more portal changes:
dadubrow
parents: 1705
diff changeset
   285
18638adda547 more portal changes:
dadubrow
parents: 1705
diff changeset
   286
	protected boolean browserHasURL() {
18638adda547 more portal changes:
dadubrow
parents: 1705
diff changeset
   287
		String url = browser.getUrl();
18638adda547 more portal changes:
dadubrow
parents: 1705
diff changeset
   288
		return url.matches("^.*://.*"); //$NON-NLS-1$
18638adda547 more portal changes:
dadubrow
parents: 1705
diff changeset
   289
	}
1634
c8405758cfd4 add portal support for browser page
dadubrow
parents:
diff changeset
   290
}