core/com.nokia.carbide.discovery.ui/src/com/nokia/carbide/internal/discovery/ui/extension/AbstractBrowserPortalPageLayer.java
author dadubrow
Fri, 06 Aug 2010 08:39:21 -0500
changeset 1783 6d8af00d456a
parent 1782 cd82069687e4
child 1822 8fdfd1446ad7
permissions -rw-r--r--
fall back to normal browser renderer if error
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;
1782
cd82069687e4 don't use error directly when logging to avoid dialog
dadubrow
parents: 1744
diff changeset
    21
import java.text.MessageFormat;
1721
18638adda547 more portal changes:
dadubrow
parents: 1705
diff changeset
    22
import java.util.LinkedHashSet;
18638adda547 more portal changes:
dadubrow
parents: 1705
diff changeset
    23
import java.util.Set;
1634
c8405758cfd4 add portal support for browser page
dadubrow
parents:
diff changeset
    24
c8405758cfd4 add portal support for browser page
dadubrow
parents:
diff changeset
    25
import org.eclipse.jface.action.Action;
c8405758cfd4 add portal support for browser page
dadubrow
parents:
diff changeset
    26
import org.eclipse.jface.action.IAction;
1721
18638adda547 more portal changes:
dadubrow
parents: 1705
diff changeset
    27
import org.eclipse.jface.dialogs.Dialog;
18638adda547 more portal changes:
dadubrow
parents: 1705
diff changeset
    28
import org.eclipse.jface.dialogs.IInputValidator;
18638adda547 more portal changes:
dadubrow
parents: 1705
diff changeset
    29
import org.eclipse.jface.dialogs.InputDialog;
1634
c8405758cfd4 add portal support for browser page
dadubrow
parents:
diff changeset
    30
import org.eclipse.swt.SWT;
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);
1783
6d8af00d456a fall back to normal browser renderer if error
dadubrow
parents: 1782
diff changeset
   139
		} catch (Throwable e1) {
6d8af00d456a fall back to normal browser renderer if error
dadubrow
parents: 1782
diff changeset
   140
			try {
6d8af00d456a fall back to normal browser renderer if error
dadubrow
parents: 1782
diff changeset
   141
				// try creating regular browser
6d8af00d456a fall back to normal browser renderer if error
dadubrow
parents: 1782
diff changeset
   142
				browser = new Browser(composite, SWT.NONE);
6d8af00d456a fall back to normal browser renderer if error
dadubrow
parents: 1782
diff changeset
   143
			} catch (Throwable e2) {
6d8af00d456a fall back to normal browser renderer if error
dadubrow
parents: 1782
diff changeset
   144
				// don't log with Throwable directly because it may display a dialog
6d8af00d456a fall back to normal browser renderer if error
dadubrow
parents: 1782
diff changeset
   145
				Activator.logError(MessageFormat.format(Messages.AbstractBrowserPortalPageLayer_BrowserCreateError, e2.getMessage()), null);
6d8af00d456a fall back to normal browser renderer if error
dadubrow
parents: 1782
diff changeset
   146
			}
1634
c8405758cfd4 add portal support for browser page
dadubrow
parents:
diff changeset
   147
		}
c8405758cfd4 add portal support for browser page
dadubrow
parents:
diff changeset
   148
		
c8405758cfd4 add portal support for browser page
dadubrow
parents:
diff changeset
   149
		return composite;
c8405758cfd4 add portal support for browser page
dadubrow
parents:
diff changeset
   150
	}
c8405758cfd4 add portal support for browser page
dadubrow
parents:
diff changeset
   151
1721
18638adda547 more portal changes:
dadubrow
parents: 1705
diff changeset
   152
	protected URL getURL() {
1634
c8405758cfd4 add portal support for browser page
dadubrow
parents:
diff changeset
   153
		try {
1721
18638adda547 more portal changes:
dadubrow
parents: 1705
diff changeset
   154
			return new URL(Activator.getFromServerProperties(getClass().getName()));
1634
c8405758cfd4 add portal support for browser page
dadubrow
parents:
diff changeset
   155
		} catch (MalformedURLException e) {
1721
18638adda547 more portal changes:
dadubrow
parents: 1705
diff changeset
   156
			Activator.logError(Messages.AbstractBrowserPortalPageLayer_BadURLError, e);
1634
c8405758cfd4 add portal support for browser page
dadubrow
parents:
diff changeset
   157
		}
c8405758cfd4 add portal support for browser page
dadubrow
parents:
diff changeset
   158
		
c8405758cfd4 add portal support for browser page
dadubrow
parents:
diff changeset
   159
		return null;
c8405758cfd4 add portal support for browser page
dadubrow
parents:
diff changeset
   160
	}
c8405758cfd4 add portal support for browser page
dadubrow
parents:
diff changeset
   161
c8405758cfd4 add portal support for browser page
dadubrow
parents:
diff changeset
   162
	@Override
c8405758cfd4 add portal support for browser page
dadubrow
parents:
diff changeset
   163
	public void init() {
c8405758cfd4 add portal support for browser page
dadubrow
parents:
diff changeset
   164
		if (browser != null) {
1734
bf670d38123a More portal framework changes:
dadubrow
parents: 1721
diff changeset
   165
			Activator.runInUIThreadWhenProxyDataSet(browser, new Runnable() {
bf670d38123a More portal framework changes:
dadubrow
parents: 1721
diff changeset
   166
				@Override
bf670d38123a More portal framework changes:
dadubrow
parents: 1721
diff changeset
   167
				public void run() {
bf670d38123a More portal framework changes:
dadubrow
parents: 1721
diff changeset
   168
					URL url = getURL();
bf670d38123a More portal framework changes:
dadubrow
parents: 1721
diff changeset
   169
					if (url != null) {
bf670d38123a More portal framework changes:
dadubrow
parents: 1721
diff changeset
   170
						browser.setUrl(url.toString());
bf670d38123a More portal framework changes:
dadubrow
parents: 1721
diff changeset
   171
						actionBar.setLoading(true);
bf670d38123a More portal framework changes:
dadubrow
parents: 1721
diff changeset
   172
					}
bf670d38123a More portal framework changes:
dadubrow
parents: 1721
diff changeset
   173
					actionBar.hookBrowser();
bf670d38123a More portal framework changes:
dadubrow
parents: 1721
diff changeset
   174
					actionBar.update();
bf670d38123a More portal framework changes:
dadubrow
parents: 1721
diff changeset
   175
				}
bf670d38123a More portal framework changes:
dadubrow
parents: 1721
diff changeset
   176
			});
1634
c8405758cfd4 add portal support for browser page
dadubrow
parents:
diff changeset
   177
		}
c8405758cfd4 add portal support for browser page
dadubrow
parents:
diff changeset
   178
	}
c8405758cfd4 add portal support for browser page
dadubrow
parents:
diff changeset
   179
	
c8405758cfd4 add portal support for browser page
dadubrow
parents:
diff changeset
   180
	@Override
c8405758cfd4 add portal support for browser page
dadubrow
parents:
diff changeset
   181
	public IActionBar[] createCommandBars(IEditorPart part, IActionUIUpdater updater) {
c8405758cfd4 add portal support for browser page
dadubrow
parents:
diff changeset
   182
		actionBar = new NavigationActionBar(updater);
c8405758cfd4 add portal support for browser page
dadubrow
parents:
diff changeset
   183
		return new IActionBar[] {
c8405758cfd4 add portal support for browser page
dadubrow
parents:
diff changeset
   184
			actionBar
c8405758cfd4 add portal support for browser page
dadubrow
parents:
diff changeset
   185
		};
c8405758cfd4 add portal support for browser page
dadubrow
parents:
diff changeset
   186
	}
c8405758cfd4 add portal support for browser page
dadubrow
parents:
diff changeset
   187
c8405758cfd4 add portal support for browser page
dadubrow
parents:
diff changeset
   188
	@Override
c8405758cfd4 add portal support for browser page
dadubrow
parents:
diff changeset
   189
	public void dispose() {
c8405758cfd4 add portal support for browser page
dadubrow
parents:
diff changeset
   190
	}
1653
af990ce6899d tweak portal ui
dadubrow
parents: 1637
diff changeset
   191
	
1721
18638adda547 more portal changes:
dadubrow
parents: 1705
diff changeset
   192
	protected Set<IAction> makeActions() {
18638adda547 more portal changes:
dadubrow
parents: 1705
diff changeset
   193
		Set<IAction> actions = new LinkedHashSet<IAction>();
18638adda547 more portal changes:
dadubrow
parents: 1705
diff changeset
   194
		IAction a = new BrowserAction(Messages.AbstractBrowserPortalPage_BackLabel) {
18638adda547 more portal changes:
dadubrow
parents: 1705
diff changeset
   195
			@Override
18638adda547 more portal changes:
dadubrow
parents: 1705
diff changeset
   196
			public void run() {
18638adda547 more portal changes:
dadubrow
parents: 1705
diff changeset
   197
				if (browser != null) {
18638adda547 more portal changes:
dadubrow
parents: 1705
diff changeset
   198
					browser.back();
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
			
18638adda547 more portal changes:
dadubrow
parents: 1705
diff changeset
   202
			@Override
18638adda547 more portal changes:
dadubrow
parents: 1705
diff changeset
   203
			public boolean isEnabled() {
18638adda547 more portal changes:
dadubrow
parents: 1705
diff changeset
   204
				return super.isEnabled() && browser.isBackEnabled();
18638adda547 more portal changes:
dadubrow
parents: 1705
diff changeset
   205
			}
18638adda547 more portal changes:
dadubrow
parents: 1705
diff changeset
   206
		};
18638adda547 more portal changes:
dadubrow
parents: 1705
diff changeset
   207
		actions.add(a);
18638adda547 more portal changes:
dadubrow
parents: 1705
diff changeset
   208
		
18638adda547 more portal changes:
dadubrow
parents: 1705
diff changeset
   209
		a = new BrowserAction(Messages.AbstractBrowserPortalPageLayer_ForwardLabel) {
18638adda547 more portal changes:
dadubrow
parents: 1705
diff changeset
   210
			@Override
18638adda547 more portal changes:
dadubrow
parents: 1705
diff changeset
   211
			public void run() {
18638adda547 more portal changes:
dadubrow
parents: 1705
diff changeset
   212
				if (browser != null) {
18638adda547 more portal changes:
dadubrow
parents: 1705
diff changeset
   213
					browser.forward();
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
			
18638adda547 more portal changes:
dadubrow
parents: 1705
diff changeset
   217
			@Override
18638adda547 more portal changes:
dadubrow
parents: 1705
diff changeset
   218
			public boolean isEnabled() {
18638adda547 more portal changes:
dadubrow
parents: 1705
diff changeset
   219
				return super.isEnabled() && browser.isForwardEnabled();
18638adda547 more portal changes:
dadubrow
parents: 1705
diff changeset
   220
			}
18638adda547 more portal changes:
dadubrow
parents: 1705
diff changeset
   221
		};
18638adda547 more portal changes:
dadubrow
parents: 1705
diff changeset
   222
		actions.add(a);
18638adda547 more portal changes:
dadubrow
parents: 1705
diff changeset
   223
		
18638adda547 more portal changes:
dadubrow
parents: 1705
diff changeset
   224
		a = new BrowserAction(Messages.AbstractBrowserPortalPage_RefreshLabel) {
18638adda547 more portal changes:
dadubrow
parents: 1705
diff changeset
   225
			@Override
18638adda547 more portal changes:
dadubrow
parents: 1705
diff changeset
   226
			public void run() {
18638adda547 more portal changes:
dadubrow
parents: 1705
diff changeset
   227
				if (browser != null) {
18638adda547 more portal changes:
dadubrow
parents: 1705
diff changeset
   228
					browser.refresh();
18638adda547 more portal changes:
dadubrow
parents: 1705
diff changeset
   229
					actionBar.update();
18638adda547 more portal changes:
dadubrow
parents: 1705
diff changeset
   230
				}
18638adda547 more portal changes:
dadubrow
parents: 1705
diff changeset
   231
			}
18638adda547 more portal changes:
dadubrow
parents: 1705
diff changeset
   232
		};
18638adda547 more portal changes:
dadubrow
parents: 1705
diff changeset
   233
		actions.add(a);
18638adda547 more portal changes:
dadubrow
parents: 1705
diff changeset
   234
18638adda547 more portal changes:
dadubrow
parents: 1705
diff changeset
   235
		a = new Action(Messages.AbstractBrowserPortalPage_StopLabel) {
18638adda547 more portal changes:
dadubrow
parents: 1705
diff changeset
   236
			@Override
18638adda547 more portal changes:
dadubrow
parents: 1705
diff changeset
   237
			public void run() {
18638adda547 more portal changes:
dadubrow
parents: 1705
diff changeset
   238
				if (browser != null) {
18638adda547 more portal changes:
dadubrow
parents: 1705
diff changeset
   239
					browser.stop();
18638adda547 more portal changes:
dadubrow
parents: 1705
diff changeset
   240
					actionBar.update();
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
18638adda547 more portal changes:
dadubrow
parents: 1705
diff changeset
   244
			@Override
18638adda547 more portal changes:
dadubrow
parents: 1705
diff changeset
   245
			public boolean isEnabled() {
18638adda547 more portal changes:
dadubrow
parents: 1705
diff changeset
   246
				return browser != null && actionBar.isLoading();
18638adda547 more portal changes:
dadubrow
parents: 1705
diff changeset
   247
			}
18638adda547 more portal changes:
dadubrow
parents: 1705
diff changeset
   248
		};
18638adda547 more portal changes:
dadubrow
parents: 1705
diff changeset
   249
		actions.add(a);
18638adda547 more portal changes:
dadubrow
parents: 1705
diff changeset
   250
		
18638adda547 more portal changes:
dadubrow
parents: 1705
diff changeset
   251
		a = new BrowserAction(Messages.AbstractBrowserPortalPageLayer_ShowInBrowserLabel) {
18638adda547 more portal changes:
dadubrow
parents: 1705
diff changeset
   252
			public void run() {
18638adda547 more portal changes:
dadubrow
parents: 1705
diff changeset
   253
				WorkbenchUtils.showWebPageInExternalBrowser(browser.getUrl());
18638adda547 more portal changes:
dadubrow
parents: 1705
diff changeset
   254
			};
18638adda547 more portal changes:
dadubrow
parents: 1705
diff changeset
   255
			
18638adda547 more portal changes:
dadubrow
parents: 1705
diff changeset
   256
			public boolean isEnabled() {
18638adda547 more portal changes:
dadubrow
parents: 1705
diff changeset
   257
				return super.isEnabled() && browserHasURL();
18638adda547 more portal changes:
dadubrow
parents: 1705
diff changeset
   258
			};
18638adda547 more portal changes:
dadubrow
parents: 1705
diff changeset
   259
		};
18638adda547 more portal changes:
dadubrow
parents: 1705
diff changeset
   260
		actions.add(a);
18638adda547 more portal changes:
dadubrow
parents: 1705
diff changeset
   261
		
18638adda547 more portal changes:
dadubrow
parents: 1705
diff changeset
   262
		a = new Action(Messages.AbstractBrowserPortalPageLayer_OpenLocationLabel) {
18638adda547 more portal changes:
dadubrow
parents: 1705
diff changeset
   263
			public void run() {
18638adda547 more portal changes:
dadubrow
parents: 1705
diff changeset
   264
				InputDialog dlg = new InputDialog(browser.getShell(), 
18638adda547 more portal changes:
dadubrow
parents: 1705
diff changeset
   265
						Messages.AbstractBrowserPortalPageLayer_OpenLocationTitle, Messages.AbstractBrowserPortalPageLayer_URLLabel, null, new IInputValidator() {
18638adda547 more portal changes:
dadubrow
parents: 1705
diff changeset
   266
					@Override
18638adda547 more portal changes:
dadubrow
parents: 1705
diff changeset
   267
					public String isValid(String newText) {
18638adda547 more portal changes:
dadubrow
parents: 1705
diff changeset
   268
						try {
18638adda547 more portal changes:
dadubrow
parents: 1705
diff changeset
   269
							new URL(newText);
18638adda547 more portal changes:
dadubrow
parents: 1705
diff changeset
   270
						} catch (MalformedURLException e) {
18638adda547 more portal changes:
dadubrow
parents: 1705
diff changeset
   271
							return Messages.AbstractBrowserPortalPageLayer_InvalidURLError;
18638adda547 more portal changes:
dadubrow
parents: 1705
diff changeset
   272
						}
18638adda547 more portal changes:
dadubrow
parents: 1705
diff changeset
   273
						return null;
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
				int result = dlg.open();
18638adda547 more portal changes:
dadubrow
parents: 1705
diff changeset
   277
				if (result == Dialog.OK) {
18638adda547 more portal changes:
dadubrow
parents: 1705
diff changeset
   278
					browser.setUrl(dlg.getValue());
18638adda547 more portal changes:
dadubrow
parents: 1705
diff changeset
   279
					actionBar.update();
18638adda547 more portal changes:
dadubrow
parents: 1705
diff changeset
   280
				}
18638adda547 more portal changes:
dadubrow
parents: 1705
diff changeset
   281
			};
18638adda547 more portal changes:
dadubrow
parents: 1705
diff changeset
   282
			
18638adda547 more portal changes:
dadubrow
parents: 1705
diff changeset
   283
			public boolean isEnabled() {
18638adda547 more portal changes:
dadubrow
parents: 1705
diff changeset
   284
				return browser != null;
18638adda547 more portal changes:
dadubrow
parents: 1705
diff changeset
   285
			};
18638adda547 more portal changes:
dadubrow
parents: 1705
diff changeset
   286
		};
18638adda547 more portal changes:
dadubrow
parents: 1705
diff changeset
   287
		actions.add(a);
18638adda547 more portal changes:
dadubrow
parents: 1705
diff changeset
   288
		
18638adda547 more portal changes:
dadubrow
parents: 1705
diff changeset
   289
		return actions;
18638adda547 more portal changes:
dadubrow
parents: 1705
diff changeset
   290
	}
18638adda547 more portal changes:
dadubrow
parents: 1705
diff changeset
   291
18638adda547 more portal changes:
dadubrow
parents: 1705
diff changeset
   292
	protected boolean browserHasURL() {
18638adda547 more portal changes:
dadubrow
parents: 1705
diff changeset
   293
		String url = browser.getUrl();
18638adda547 more portal changes:
dadubrow
parents: 1705
diff changeset
   294
		return url.matches("^.*://.*"); //$NON-NLS-1$
18638adda547 more portal changes:
dadubrow
parents: 1705
diff changeset
   295
	}
1634
c8405758cfd4 add portal support for browser page
dadubrow
parents:
diff changeset
   296
}