core/com.nokia.carbide.discovery.ui/src/com/nokia/carbide/internal/discovery/ui/extension/AbstractBrowserPortalPageLayer.java
author dadubrow
Fri, 06 Aug 2010 08:18:06 -0500
changeset 1782 cd82069687e4
parent 1744 48b623de4c8e
child 1783 6d8af00d456a
permissions -rw-r--r--
don't use error directly when logging to avoid dialog
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.SWTError;
c8405758cfd4 add portal support for browser page
dadubrow
parents:
diff changeset
    32
import org.eclipse.swt.browser.Browser;
c8405758cfd4 add portal support for browser page
dadubrow
parents:
diff changeset
    33
import org.eclipse.swt.browser.LocationAdapter;
c8405758cfd4 add portal support for browser page
dadubrow
parents:
diff changeset
    34
import org.eclipse.swt.browser.LocationEvent;
1721
18638adda547 more portal changes:
dadubrow
parents: 1705
diff changeset
    35
import org.eclipse.swt.browser.OpenWindowListener;
1634
c8405758cfd4 add portal support for browser page
dadubrow
parents:
diff changeset
    36
import org.eclipse.swt.browser.ProgressAdapter;
c8405758cfd4 add portal support for browser page
dadubrow
parents:
diff changeset
    37
import org.eclipse.swt.browser.ProgressEvent;
1721
18638adda547 more portal changes:
dadubrow
parents: 1705
diff changeset
    38
import org.eclipse.swt.browser.WindowEvent;
1634
c8405758cfd4 add portal support for browser page
dadubrow
parents:
diff changeset
    39
import org.eclipse.swt.layout.FillLayout;
c8405758cfd4 add portal support for browser page
dadubrow
parents:
diff changeset
    40
import org.eclipse.swt.widgets.Composite;
c8405758cfd4 add portal support for browser page
dadubrow
parents:
diff changeset
    41
import org.eclipse.swt.widgets.Control;
c8405758cfd4 add portal support for browser page
dadubrow
parents:
diff changeset
    42
import org.eclipse.ui.IEditorPart;
c8405758cfd4 add portal support for browser page
dadubrow
parents:
diff changeset
    43
c8405758cfd4 add portal support for browser page
dadubrow
parents:
diff changeset
    44
import com.nokia.carbide.discovery.ui.Activator;
1661
cd8159f371c7 multiple changes:
dadubrow
parents: 1653
diff changeset
    45
import com.nokia.carbide.discovery.ui.Messages;
1721
18638adda547 more portal changes:
dadubrow
parents: 1705
diff changeset
    46
import com.nokia.cpp.internal.api.utils.ui.WorkbenchUtils;
1634
c8405758cfd4 add portal support for browser page
dadubrow
parents:
diff changeset
    47
1721
18638adda547 more portal changes:
dadubrow
parents: 1705
diff changeset
    48
public abstract class AbstractBrowserPortalPageLayer implements IPortalPageLayer {
1634
c8405758cfd4 add portal support for browser page
dadubrow
parents:
diff changeset
    49
1721
18638adda547 more portal changes:
dadubrow
parents: 1705
diff changeset
    50
	protected class BrowserAction extends Action {
18638adda547 more portal changes:
dadubrow
parents: 1705
diff changeset
    51
		
18638adda547 more portal changes:
dadubrow
parents: 1705
diff changeset
    52
		public BrowserAction(String text) {
18638adda547 more portal changes:
dadubrow
parents: 1705
diff changeset
    53
			super(text);
18638adda547 more portal changes:
dadubrow
parents: 1705
diff changeset
    54
		}
18638adda547 more portal changes:
dadubrow
parents: 1705
diff changeset
    55
18638adda547 more portal changes:
dadubrow
parents: 1705
diff changeset
    56
		@Override
18638adda547 more portal changes:
dadubrow
parents: 1705
diff changeset
    57
		public boolean isEnabled() {
18638adda547 more portal changes:
dadubrow
parents: 1705
diff changeset
    58
			return browser != null && !actionBar.isLoading();
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
	
18638adda547 more portal changes:
dadubrow
parents: 1705
diff changeset
    62
	protected class NavigationActionBar implements IActionBar {
18638adda547 more portal changes:
dadubrow
parents: 1705
diff changeset
    63
		private Set<IAction> actions;
1634
c8405758cfd4 add portal support for browser page
dadubrow
parents:
diff changeset
    64
		private IActionUIUpdater updater;
c8405758cfd4 add portal support for browser page
dadubrow
parents:
diff changeset
    65
		private boolean loading;
c8405758cfd4 add portal support for browser page
dadubrow
parents:
diff changeset
    66
c8405758cfd4 add portal support for browser page
dadubrow
parents:
diff changeset
    67
		private NavigationActionBar(IActionUIUpdater updater) {
c8405758cfd4 add portal support for browser page
dadubrow
parents:
diff changeset
    68
			this.updater = updater;
1721
18638adda547 more portal changes:
dadubrow
parents: 1705
diff changeset
    69
			actions = makeActions();
1634
c8405758cfd4 add portal support for browser page
dadubrow
parents:
diff changeset
    70
		}
c8405758cfd4 add portal support for browser page
dadubrow
parents:
diff changeset
    71
c8405758cfd4 add portal support for browser page
dadubrow
parents:
diff changeset
    72
		public void hookBrowser() {
c8405758cfd4 add portal support for browser page
dadubrow
parents:
diff changeset
    73
			browser.addLocationListener(new LocationAdapter() {
c8405758cfd4 add portal support for browser page
dadubrow
parents:
diff changeset
    74
				@Override
c8405758cfd4 add portal support for browser page
dadubrow
parents:
diff changeset
    75
				public void changed(LocationEvent event) {
c8405758cfd4 add portal support for browser page
dadubrow
parents:
diff changeset
    76
					NavigationActionBar.this.updater.updateAll();
c8405758cfd4 add portal support for browser page
dadubrow
parents:
diff changeset
    77
				}
c8405758cfd4 add portal support for browser page
dadubrow
parents:
diff changeset
    78
			});
c8405758cfd4 add portal support for browser page
dadubrow
parents:
diff changeset
    79
			browser.addProgressListener(new ProgressAdapter() {
c8405758cfd4 add portal support for browser page
dadubrow
parents:
diff changeset
    80
				@Override
c8405758cfd4 add portal support for browser page
dadubrow
parents:
diff changeset
    81
				public void changed(ProgressEvent event) {
c8405758cfd4 add portal support for browser page
dadubrow
parents:
diff changeset
    82
	                if (event.total == 0)
c8405758cfd4 add portal support for browser page
dadubrow
parents:
diff changeset
    83
	                    return;
1653
af990ce6899d tweak portal ui
dadubrow
parents: 1637
diff changeset
    84
	                setLoading(event.current != event.total);
1634
c8405758cfd4 add portal support for browser page
dadubrow
parents:
diff changeset
    85
					NavigationActionBar.this.updater.updateAll();
c8405758cfd4 add portal support for browser page
dadubrow
parents:
diff changeset
    86
				}
c8405758cfd4 add portal support for browser page
dadubrow
parents:
diff changeset
    87
				@Override
c8405758cfd4 add portal support for browser page
dadubrow
parents:
diff changeset
    88
				public void completed(ProgressEvent event) {
1653
af990ce6899d tweak portal ui
dadubrow
parents: 1637
diff changeset
    89
					setLoading(false);
1634
c8405758cfd4 add portal support for browser page
dadubrow
parents:
diff changeset
    90
					NavigationActionBar.this.updater.updateAll();
c8405758cfd4 add portal support for browser page
dadubrow
parents:
diff changeset
    91
				}
c8405758cfd4 add portal support for browser page
dadubrow
parents:
diff changeset
    92
			});
1721
18638adda547 more portal changes:
dadubrow
parents: 1705
diff changeset
    93
			browser.addOpenWindowListener(new OpenWindowListener() {
18638adda547 more portal changes:
dadubrow
parents: 1705
diff changeset
    94
				@Override
18638adda547 more portal changes:
dadubrow
parents: 1705
diff changeset
    95
				public void open(WindowEvent event) {
18638adda547 more portal changes:
dadubrow
parents: 1705
diff changeset
    96
					event.browser = browser;
18638adda547 more portal changes:
dadubrow
parents: 1705
diff changeset
    97
				}
18638adda547 more portal changes:
dadubrow
parents: 1705
diff changeset
    98
			});
1634
c8405758cfd4 add portal support for browser page
dadubrow
parents:
diff changeset
    99
		}
c8405758cfd4 add portal support for browser page
dadubrow
parents:
diff changeset
   100
c8405758cfd4 add portal support for browser page
dadubrow
parents:
diff changeset
   101
		@Override
c8405758cfd4 add portal support for browser page
dadubrow
parents:
diff changeset
   102
		public String getTitle() {
1661
cd8159f371c7 multiple changes:
dadubrow
parents: 1653
diff changeset
   103
			return Messages.AbstractBrowserPortalPage_NavigationTitle;
1634
c8405758cfd4 add portal support for browser page
dadubrow
parents:
diff changeset
   104
		}
c8405758cfd4 add portal support for browser page
dadubrow
parents:
diff changeset
   105
c8405758cfd4 add portal support for browser page
dadubrow
parents:
diff changeset
   106
		@Override
c8405758cfd4 add portal support for browser page
dadubrow
parents:
diff changeset
   107
		public IAction[] getActions() {
c8405758cfd4 add portal support for browser page
dadubrow
parents:
diff changeset
   108
			return (IAction[]) actions.toArray(new IAction[actions.size()]);
c8405758cfd4 add portal support for browser page
dadubrow
parents:
diff changeset
   109
		}
c8405758cfd4 add portal support for browser page
dadubrow
parents:
diff changeset
   110
c8405758cfd4 add portal support for browser page
dadubrow
parents:
diff changeset
   111
		public void update() {
c8405758cfd4 add portal support for browser page
dadubrow
parents:
diff changeset
   112
			updater.updateAll();
c8405758cfd4 add portal support for browser page
dadubrow
parents:
diff changeset
   113
		}
c8405758cfd4 add portal support for browser page
dadubrow
parents:
diff changeset
   114
1734
bf670d38123a More portal framework changes:
dadubrow
parents: 1721
diff changeset
   115
		public void setLoading(boolean loading) {
bf670d38123a More portal framework changes:
dadubrow
parents: 1721
diff changeset
   116
			Activator.setBusyCursor(browser, loading);
1653
af990ce6899d tweak portal ui
dadubrow
parents: 1637
diff changeset
   117
			this.loading = loading;
af990ce6899d tweak portal ui
dadubrow
parents: 1637
diff changeset
   118
		}
1661
cd8159f371c7 multiple changes:
dadubrow
parents: 1653
diff changeset
   119
cd8159f371c7 multiple changes:
dadubrow
parents: 1653
diff changeset
   120
		@Override
cd8159f371c7 multiple changes:
dadubrow
parents: 1653
diff changeset
   121
		public String[] getHighlightedActionIds() {
cd8159f371c7 multiple changes:
dadubrow
parents: 1653
diff changeset
   122
			return null;
cd8159f371c7 multiple changes:
dadubrow
parents: 1653
diff changeset
   123
		}
1721
18638adda547 more portal changes:
dadubrow
parents: 1705
diff changeset
   124
18638adda547 more portal changes:
dadubrow
parents: 1705
diff changeset
   125
		public boolean isLoading() {
18638adda547 more portal changes:
dadubrow
parents: 1705
diff changeset
   126
			return loading;
18638adda547 more portal changes:
dadubrow
parents: 1705
diff changeset
   127
		}
1634
c8405758cfd4 add portal support for browser page
dadubrow
parents:
diff changeset
   128
	}
c8405758cfd4 add portal support for browser page
dadubrow
parents:
diff changeset
   129
1721
18638adda547 more portal changes:
dadubrow
parents: 1705
diff changeset
   130
	protected Browser browser;
18638adda547 more portal changes:
dadubrow
parents: 1705
diff changeset
   131
	protected NavigationActionBar actionBar;
1634
c8405758cfd4 add portal support for browser page
dadubrow
parents:
diff changeset
   132
c8405758cfd4 add portal support for browser page
dadubrow
parents:
diff changeset
   133
	@Override
c8405758cfd4 add portal support for browser page
dadubrow
parents:
diff changeset
   134
	public Control createControl(Composite parent, IEditorPart part) {
c8405758cfd4 add portal support for browser page
dadubrow
parents:
diff changeset
   135
		Composite composite = new Composite(parent, SWT.NONE);
c8405758cfd4 add portal support for browser page
dadubrow
parents:
diff changeset
   136
		composite.setBackground(parent.getDisplay().getSystemColor(SWT.COLOR_WIDGET_BACKGROUND));
c8405758cfd4 add portal support for browser page
dadubrow
parents:
diff changeset
   137
		composite.setLayout(new FillLayout());
c8405758cfd4 add portal support for browser page
dadubrow
parents:
diff changeset
   138
		try {
1637
06fc2fdd1ac4 add mozilla support
dadubrow
parents: 1634
diff changeset
   139
			browser = new Browser(composite, SWT.MOZILLA);
1634
c8405758cfd4 add portal support for browser page
dadubrow
parents:
diff changeset
   140
		} catch (SWTError e) {
1782
cd82069687e4 don't use error directly when logging to avoid dialog
dadubrow
parents: 1744
diff changeset
   141
			// don't log with SWTError as Throwable because it displays a dialog and this may occur and be benign
cd82069687e4 don't use error directly when logging to avoid dialog
dadubrow
parents: 1744
diff changeset
   142
			Activator.logError(MessageFormat.format(Messages.AbstractBrowserPortalPageLayer_BrowserCreateError, e.getMessage()), null);
1634
c8405758cfd4 add portal support for browser page
dadubrow
parents:
diff changeset
   143
		}
c8405758cfd4 add portal support for browser page
dadubrow
parents:
diff changeset
   144
		
c8405758cfd4 add portal support for browser page
dadubrow
parents:
diff changeset
   145
		return composite;
c8405758cfd4 add portal support for browser page
dadubrow
parents:
diff changeset
   146
	}
c8405758cfd4 add portal support for browser page
dadubrow
parents:
diff changeset
   147
1721
18638adda547 more portal changes:
dadubrow
parents: 1705
diff changeset
   148
	protected URL getURL() {
1634
c8405758cfd4 add portal support for browser page
dadubrow
parents:
diff changeset
   149
		try {
1721
18638adda547 more portal changes:
dadubrow
parents: 1705
diff changeset
   150
			return new URL(Activator.getFromServerProperties(getClass().getName()));
1634
c8405758cfd4 add portal support for browser page
dadubrow
parents:
diff changeset
   151
		} catch (MalformedURLException e) {
1721
18638adda547 more portal changes:
dadubrow
parents: 1705
diff changeset
   152
			Activator.logError(Messages.AbstractBrowserPortalPageLayer_BadURLError, e);
1634
c8405758cfd4 add portal support for browser page
dadubrow
parents:
diff changeset
   153
		}
c8405758cfd4 add portal support for browser page
dadubrow
parents:
diff changeset
   154
		
c8405758cfd4 add portal support for browser page
dadubrow
parents:
diff changeset
   155
		return null;
c8405758cfd4 add portal support for browser page
dadubrow
parents:
diff changeset
   156
	}
c8405758cfd4 add portal support for browser page
dadubrow
parents:
diff changeset
   157
c8405758cfd4 add portal support for browser page
dadubrow
parents:
diff changeset
   158
	@Override
c8405758cfd4 add portal support for browser page
dadubrow
parents:
diff changeset
   159
	public void init() {
c8405758cfd4 add portal support for browser page
dadubrow
parents:
diff changeset
   160
		if (browser != null) {
1734
bf670d38123a More portal framework changes:
dadubrow
parents: 1721
diff changeset
   161
			Activator.runInUIThreadWhenProxyDataSet(browser, new Runnable() {
bf670d38123a More portal framework changes:
dadubrow
parents: 1721
diff changeset
   162
				@Override
bf670d38123a More portal framework changes:
dadubrow
parents: 1721
diff changeset
   163
				public void run() {
bf670d38123a More portal framework changes:
dadubrow
parents: 1721
diff changeset
   164
					URL url = getURL();
bf670d38123a More portal framework changes:
dadubrow
parents: 1721
diff changeset
   165
					if (url != null) {
bf670d38123a More portal framework changes:
dadubrow
parents: 1721
diff changeset
   166
						browser.setUrl(url.toString());
bf670d38123a More portal framework changes:
dadubrow
parents: 1721
diff changeset
   167
						actionBar.setLoading(true);
bf670d38123a More portal framework changes:
dadubrow
parents: 1721
diff changeset
   168
					}
bf670d38123a More portal framework changes:
dadubrow
parents: 1721
diff changeset
   169
					actionBar.hookBrowser();
bf670d38123a More portal framework changes:
dadubrow
parents: 1721
diff changeset
   170
					actionBar.update();
bf670d38123a More portal framework changes:
dadubrow
parents: 1721
diff changeset
   171
				}
bf670d38123a More portal framework changes:
dadubrow
parents: 1721
diff changeset
   172
			});
1634
c8405758cfd4 add portal support for browser page
dadubrow
parents:
diff changeset
   173
		}
c8405758cfd4 add portal support for browser page
dadubrow
parents:
diff changeset
   174
	}
c8405758cfd4 add portal support for browser page
dadubrow
parents:
diff changeset
   175
	
c8405758cfd4 add portal support for browser page
dadubrow
parents:
diff changeset
   176
	@Override
c8405758cfd4 add portal support for browser page
dadubrow
parents:
diff changeset
   177
	public IActionBar[] createCommandBars(IEditorPart part, IActionUIUpdater updater) {
c8405758cfd4 add portal support for browser page
dadubrow
parents:
diff changeset
   178
		actionBar = new NavigationActionBar(updater);
c8405758cfd4 add portal support for browser page
dadubrow
parents:
diff changeset
   179
		return new IActionBar[] {
c8405758cfd4 add portal support for browser page
dadubrow
parents:
diff changeset
   180
			actionBar
c8405758cfd4 add portal support for browser page
dadubrow
parents:
diff changeset
   181
		};
c8405758cfd4 add portal support for browser page
dadubrow
parents:
diff changeset
   182
	}
c8405758cfd4 add portal support for browser page
dadubrow
parents:
diff changeset
   183
c8405758cfd4 add portal support for browser page
dadubrow
parents:
diff changeset
   184
	@Override
c8405758cfd4 add portal support for browser page
dadubrow
parents:
diff changeset
   185
	public void dispose() {
c8405758cfd4 add portal support for browser page
dadubrow
parents:
diff changeset
   186
	}
1653
af990ce6899d tweak portal ui
dadubrow
parents: 1637
diff changeset
   187
	
1721
18638adda547 more portal changes:
dadubrow
parents: 1705
diff changeset
   188
	protected Set<IAction> makeActions() {
18638adda547 more portal changes:
dadubrow
parents: 1705
diff changeset
   189
		Set<IAction> actions = new LinkedHashSet<IAction>();
18638adda547 more portal changes:
dadubrow
parents: 1705
diff changeset
   190
		IAction a = new BrowserAction(Messages.AbstractBrowserPortalPage_BackLabel) {
18638adda547 more portal changes:
dadubrow
parents: 1705
diff changeset
   191
			@Override
18638adda547 more portal changes:
dadubrow
parents: 1705
diff changeset
   192
			public void run() {
18638adda547 more portal changes:
dadubrow
parents: 1705
diff changeset
   193
				if (browser != null) {
18638adda547 more portal changes:
dadubrow
parents: 1705
diff changeset
   194
					browser.back();
18638adda547 more portal changes:
dadubrow
parents: 1705
diff changeset
   195
				}
18638adda547 more portal changes:
dadubrow
parents: 1705
diff changeset
   196
			}
18638adda547 more portal changes:
dadubrow
parents: 1705
diff changeset
   197
			
18638adda547 more portal changes:
dadubrow
parents: 1705
diff changeset
   198
			@Override
18638adda547 more portal changes:
dadubrow
parents: 1705
diff changeset
   199
			public boolean isEnabled() {
18638adda547 more portal changes:
dadubrow
parents: 1705
diff changeset
   200
				return super.isEnabled() && browser.isBackEnabled();
18638adda547 more portal changes:
dadubrow
parents: 1705
diff changeset
   201
			}
18638adda547 more portal changes:
dadubrow
parents: 1705
diff changeset
   202
		};
18638adda547 more portal changes:
dadubrow
parents: 1705
diff changeset
   203
		actions.add(a);
18638adda547 more portal changes:
dadubrow
parents: 1705
diff changeset
   204
		
18638adda547 more portal changes:
dadubrow
parents: 1705
diff changeset
   205
		a = new BrowserAction(Messages.AbstractBrowserPortalPageLayer_ForwardLabel) {
18638adda547 more portal changes:
dadubrow
parents: 1705
diff changeset
   206
			@Override
18638adda547 more portal changes:
dadubrow
parents: 1705
diff changeset
   207
			public void run() {
18638adda547 more portal changes:
dadubrow
parents: 1705
diff changeset
   208
				if (browser != null) {
18638adda547 more portal changes:
dadubrow
parents: 1705
diff changeset
   209
					browser.forward();
18638adda547 more portal changes:
dadubrow
parents: 1705
diff changeset
   210
				}
18638adda547 more portal changes:
dadubrow
parents: 1705
diff changeset
   211
			}
18638adda547 more portal changes:
dadubrow
parents: 1705
diff changeset
   212
			
18638adda547 more portal changes:
dadubrow
parents: 1705
diff changeset
   213
			@Override
18638adda547 more portal changes:
dadubrow
parents: 1705
diff changeset
   214
			public boolean isEnabled() {
18638adda547 more portal changes:
dadubrow
parents: 1705
diff changeset
   215
				return super.isEnabled() && browser.isForwardEnabled();
18638adda547 more portal changes:
dadubrow
parents: 1705
diff changeset
   216
			}
18638adda547 more portal changes:
dadubrow
parents: 1705
diff changeset
   217
		};
18638adda547 more portal changes:
dadubrow
parents: 1705
diff changeset
   218
		actions.add(a);
18638adda547 more portal changes:
dadubrow
parents: 1705
diff changeset
   219
		
18638adda547 more portal changes:
dadubrow
parents: 1705
diff changeset
   220
		a = new BrowserAction(Messages.AbstractBrowserPortalPage_RefreshLabel) {
18638adda547 more portal changes:
dadubrow
parents: 1705
diff changeset
   221
			@Override
18638adda547 more portal changes:
dadubrow
parents: 1705
diff changeset
   222
			public void run() {
18638adda547 more portal changes:
dadubrow
parents: 1705
diff changeset
   223
				if (browser != null) {
18638adda547 more portal changes:
dadubrow
parents: 1705
diff changeset
   224
					browser.refresh();
18638adda547 more portal changes:
dadubrow
parents: 1705
diff changeset
   225
					actionBar.update();
18638adda547 more portal changes:
dadubrow
parents: 1705
diff changeset
   226
				}
18638adda547 more portal changes:
dadubrow
parents: 1705
diff changeset
   227
			}
18638adda547 more portal changes:
dadubrow
parents: 1705
diff changeset
   228
		};
18638adda547 more portal changes:
dadubrow
parents: 1705
diff changeset
   229
		actions.add(a);
18638adda547 more portal changes:
dadubrow
parents: 1705
diff changeset
   230
18638adda547 more portal changes:
dadubrow
parents: 1705
diff changeset
   231
		a = new Action(Messages.AbstractBrowserPortalPage_StopLabel) {
18638adda547 more portal changes:
dadubrow
parents: 1705
diff changeset
   232
			@Override
18638adda547 more portal changes:
dadubrow
parents: 1705
diff changeset
   233
			public void run() {
18638adda547 more portal changes:
dadubrow
parents: 1705
diff changeset
   234
				if (browser != null) {
18638adda547 more portal changes:
dadubrow
parents: 1705
diff changeset
   235
					browser.stop();
18638adda547 more portal changes:
dadubrow
parents: 1705
diff changeset
   236
					actionBar.update();
18638adda547 more portal changes:
dadubrow
parents: 1705
diff changeset
   237
				}
18638adda547 more portal changes:
dadubrow
parents: 1705
diff changeset
   238
			}
18638adda547 more portal changes:
dadubrow
parents: 1705
diff changeset
   239
18638adda547 more portal changes:
dadubrow
parents: 1705
diff changeset
   240
			@Override
18638adda547 more portal changes:
dadubrow
parents: 1705
diff changeset
   241
			public boolean isEnabled() {
18638adda547 more portal changes:
dadubrow
parents: 1705
diff changeset
   242
				return browser != null && actionBar.isLoading();
18638adda547 more portal changes:
dadubrow
parents: 1705
diff changeset
   243
			}
18638adda547 more portal changes:
dadubrow
parents: 1705
diff changeset
   244
		};
18638adda547 more portal changes:
dadubrow
parents: 1705
diff changeset
   245
		actions.add(a);
18638adda547 more portal changes:
dadubrow
parents: 1705
diff changeset
   246
		
18638adda547 more portal changes:
dadubrow
parents: 1705
diff changeset
   247
		a = new BrowserAction(Messages.AbstractBrowserPortalPageLayer_ShowInBrowserLabel) {
18638adda547 more portal changes:
dadubrow
parents: 1705
diff changeset
   248
			public void run() {
18638adda547 more portal changes:
dadubrow
parents: 1705
diff changeset
   249
				WorkbenchUtils.showWebPageInExternalBrowser(browser.getUrl());
18638adda547 more portal changes:
dadubrow
parents: 1705
diff changeset
   250
			};
18638adda547 more portal changes:
dadubrow
parents: 1705
diff changeset
   251
			
18638adda547 more portal changes:
dadubrow
parents: 1705
diff changeset
   252
			public boolean isEnabled() {
18638adda547 more portal changes:
dadubrow
parents: 1705
diff changeset
   253
				return super.isEnabled() && browserHasURL();
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
		actions.add(a);
18638adda547 more portal changes:
dadubrow
parents: 1705
diff changeset
   257
		
18638adda547 more portal changes:
dadubrow
parents: 1705
diff changeset
   258
		a = new Action(Messages.AbstractBrowserPortalPageLayer_OpenLocationLabel) {
18638adda547 more portal changes:
dadubrow
parents: 1705
diff changeset
   259
			public void run() {
18638adda547 more portal changes:
dadubrow
parents: 1705
diff changeset
   260
				InputDialog dlg = new InputDialog(browser.getShell(), 
18638adda547 more portal changes:
dadubrow
parents: 1705
diff changeset
   261
						Messages.AbstractBrowserPortalPageLayer_OpenLocationTitle, Messages.AbstractBrowserPortalPageLayer_URLLabel, null, new IInputValidator() {
18638adda547 more portal changes:
dadubrow
parents: 1705
diff changeset
   262
					@Override
18638adda547 more portal changes:
dadubrow
parents: 1705
diff changeset
   263
					public String isValid(String newText) {
18638adda547 more portal changes:
dadubrow
parents: 1705
diff changeset
   264
						try {
18638adda547 more portal changes:
dadubrow
parents: 1705
diff changeset
   265
							new URL(newText);
18638adda547 more portal changes:
dadubrow
parents: 1705
diff changeset
   266
						} catch (MalformedURLException e) {
18638adda547 more portal changes:
dadubrow
parents: 1705
diff changeset
   267
							return Messages.AbstractBrowserPortalPageLayer_InvalidURLError;
18638adda547 more portal changes:
dadubrow
parents: 1705
diff changeset
   268
						}
18638adda547 more portal changes:
dadubrow
parents: 1705
diff changeset
   269
						return null;
18638adda547 more portal changes:
dadubrow
parents: 1705
diff changeset
   270
					}
18638adda547 more portal changes:
dadubrow
parents: 1705
diff changeset
   271
				});
18638adda547 more portal changes:
dadubrow
parents: 1705
diff changeset
   272
				int result = dlg.open();
18638adda547 more portal changes:
dadubrow
parents: 1705
diff changeset
   273
				if (result == Dialog.OK) {
18638adda547 more portal changes:
dadubrow
parents: 1705
diff changeset
   274
					browser.setUrl(dlg.getValue());
18638adda547 more portal changes:
dadubrow
parents: 1705
diff changeset
   275
					actionBar.update();
18638adda547 more portal changes:
dadubrow
parents: 1705
diff changeset
   276
				}
18638adda547 more portal changes:
dadubrow
parents: 1705
diff changeset
   277
			};
18638adda547 more portal changes:
dadubrow
parents: 1705
diff changeset
   278
			
18638adda547 more portal changes:
dadubrow
parents: 1705
diff changeset
   279
			public boolean isEnabled() {
18638adda547 more portal changes:
dadubrow
parents: 1705
diff changeset
   280
				return browser != null;
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
		actions.add(a);
18638adda547 more portal changes:
dadubrow
parents: 1705
diff changeset
   284
		
18638adda547 more portal changes:
dadubrow
parents: 1705
diff changeset
   285
		return actions;
18638adda547 more portal changes:
dadubrow
parents: 1705
diff changeset
   286
	}
18638adda547 more portal changes:
dadubrow
parents: 1705
diff changeset
   287
18638adda547 more portal changes:
dadubrow
parents: 1705
diff changeset
   288
	protected boolean browserHasURL() {
18638adda547 more portal changes:
dadubrow
parents: 1705
diff changeset
   289
		String url = browser.getUrl();
18638adda547 more portal changes:
dadubrow
parents: 1705
diff changeset
   290
		return url.matches("^.*://.*"); //$NON-NLS-1$
18638adda547 more portal changes:
dadubrow
parents: 1705
diff changeset
   291
	}
1634
c8405758cfd4 add portal support for browser page
dadubrow
parents:
diff changeset
   292
}