core/com.nokia.carbide.discovery.ui/src/com/nokia/carbide/internal/discovery/ui/extension/AbstractBrowserPortalPageLayer.java
author stechong
Wed, 20 Oct 2010 11:19:31 -0500
changeset 2165 2a7b5eccb0bc
parent 2062 4d032dc346bf
permissions -rw-r--r--
Keeping PlatSim internal only.
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;
1832
aaf2f7bc0609 better handling of failed connect
dadubrow
parents: 1831
diff changeset
    27
import org.eclipse.jface.action.IStatusLineManager;
1721
18638adda547 more portal changes:
dadubrow
parents: 1705
diff changeset
    28
import org.eclipse.jface.dialogs.Dialog;
18638adda547 more portal changes:
dadubrow
parents: 1705
diff changeset
    29
import org.eclipse.jface.dialogs.IInputValidator;
18638adda547 more portal changes:
dadubrow
parents: 1705
diff changeset
    30
import org.eclipse.jface.dialogs.InputDialog;
1634
c8405758cfd4 add portal support for browser page
dadubrow
parents:
diff changeset
    31
import org.eclipse.swt.SWT;
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;
1832
aaf2f7bc0609 better handling of failed connect
dadubrow
parents: 1831
diff changeset
    38
import org.eclipse.swt.browser.StatusTextEvent;
aaf2f7bc0609 better handling of failed connect
dadubrow
parents: 1831
diff changeset
    39
import org.eclipse.swt.browser.StatusTextListener;
1721
18638adda547 more portal changes:
dadubrow
parents: 1705
diff changeset
    40
import org.eclipse.swt.browser.WindowEvent;
1634
c8405758cfd4 add portal support for browser page
dadubrow
parents:
diff changeset
    41
import org.eclipse.swt.layout.FillLayout;
c8405758cfd4 add portal support for browser page
dadubrow
parents:
diff changeset
    42
import org.eclipse.swt.widgets.Composite;
c8405758cfd4 add portal support for browser page
dadubrow
parents:
diff changeset
    43
import org.eclipse.swt.widgets.Control;
c8405758cfd4 add portal support for browser page
dadubrow
parents:
diff changeset
    44
import org.eclipse.ui.IEditorPart;
c8405758cfd4 add portal support for browser page
dadubrow
parents:
diff changeset
    45
c8405758cfd4 add portal support for browser page
dadubrow
parents:
diff changeset
    46
import com.nokia.carbide.discovery.ui.Activator;
1661
cd8159f371c7 multiple changes:
dadubrow
parents: 1653
diff changeset
    47
import com.nokia.carbide.discovery.ui.Messages;
1721
18638adda547 more portal changes:
dadubrow
parents: 1705
diff changeset
    48
import com.nokia.cpp.internal.api.utils.ui.WorkbenchUtils;
1634
c8405758cfd4 add portal support for browser page
dadubrow
parents:
diff changeset
    49
1721
18638adda547 more portal changes:
dadubrow
parents: 1705
diff changeset
    50
public abstract class AbstractBrowserPortalPageLayer implements IPortalPageLayer {
1634
c8405758cfd4 add portal support for browser page
dadubrow
parents:
diff changeset
    51
1721
18638adda547 more portal changes:
dadubrow
parents: 1705
diff changeset
    52
	protected class BrowserAction extends Action {
18638adda547 more portal changes:
dadubrow
parents: 1705
diff changeset
    53
		
18638adda547 more portal changes:
dadubrow
parents: 1705
diff changeset
    54
		public BrowserAction(String text) {
18638adda547 more portal changes:
dadubrow
parents: 1705
diff changeset
    55
			super(text);
18638adda547 more portal changes:
dadubrow
parents: 1705
diff changeset
    56
		}
18638adda547 more portal changes:
dadubrow
parents: 1705
diff changeset
    57
18638adda547 more portal changes:
dadubrow
parents: 1705
diff changeset
    58
		@Override
18638adda547 more portal changes:
dadubrow
parents: 1705
diff changeset
    59
		public boolean isEnabled() {
18638adda547 more portal changes:
dadubrow
parents: 1705
diff changeset
    60
			return browser != null && !actionBar.isLoading();
18638adda547 more portal changes:
dadubrow
parents: 1705
diff changeset
    61
		}
18638adda547 more portal changes:
dadubrow
parents: 1705
diff changeset
    62
	}
18638adda547 more portal changes:
dadubrow
parents: 1705
diff changeset
    63
	
18638adda547 more portal changes:
dadubrow
parents: 1705
diff changeset
    64
	protected class NavigationActionBar implements IActionBar {
18638adda547 more portal changes:
dadubrow
parents: 1705
diff changeset
    65
		private Set<IAction> actions;
1634
c8405758cfd4 add portal support for browser page
dadubrow
parents:
diff changeset
    66
		private IActionUIUpdater updater;
c8405758cfd4 add portal support for browser page
dadubrow
parents:
diff changeset
    67
		private boolean loading;
c8405758cfd4 add portal support for browser page
dadubrow
parents:
diff changeset
    68
c8405758cfd4 add portal support for browser page
dadubrow
parents:
diff changeset
    69
		private NavigationActionBar(IActionUIUpdater updater) {
c8405758cfd4 add portal support for browser page
dadubrow
parents:
diff changeset
    70
			this.updater = updater;
1721
18638adda547 more portal changes:
dadubrow
parents: 1705
diff changeset
    71
			actions = makeActions();
1634
c8405758cfd4 add portal support for browser page
dadubrow
parents:
diff changeset
    72
		}
c8405758cfd4 add portal support for browser page
dadubrow
parents:
diff changeset
    73
c8405758cfd4 add portal support for browser page
dadubrow
parents:
diff changeset
    74
		public void hookBrowser() {
c8405758cfd4 add portal support for browser page
dadubrow
parents:
diff changeset
    75
			browser.addLocationListener(new LocationAdapter() {
c8405758cfd4 add portal support for browser page
dadubrow
parents:
diff changeset
    76
				@Override
c8405758cfd4 add portal support for browser page
dadubrow
parents:
diff changeset
    77
				public void changed(LocationEvent event) {
c8405758cfd4 add portal support for browser page
dadubrow
parents:
diff changeset
    78
					NavigationActionBar.this.updater.updateAll();
c8405758cfd4 add portal support for browser page
dadubrow
parents:
diff changeset
    79
				}
c8405758cfd4 add portal support for browser page
dadubrow
parents:
diff changeset
    80
			});
c8405758cfd4 add portal support for browser page
dadubrow
parents:
diff changeset
    81
			browser.addProgressListener(new ProgressAdapter() {
c8405758cfd4 add portal support for browser page
dadubrow
parents:
diff changeset
    82
				@Override
c8405758cfd4 add portal support for browser page
dadubrow
parents:
diff changeset
    83
				public void changed(ProgressEvent event) {
c8405758cfd4 add portal support for browser page
dadubrow
parents:
diff changeset
    84
	                if (event.total == 0)
c8405758cfd4 add portal support for browser page
dadubrow
parents:
diff changeset
    85
	                    return;
1653
af990ce6899d tweak portal ui
dadubrow
parents: 1637
diff changeset
    86
	                setLoading(event.current != event.total);
1634
c8405758cfd4 add portal support for browser page
dadubrow
parents:
diff changeset
    87
					NavigationActionBar.this.updater.updateAll();
c8405758cfd4 add portal support for browser page
dadubrow
parents:
diff changeset
    88
				}
c8405758cfd4 add portal support for browser page
dadubrow
parents:
diff changeset
    89
				@Override
c8405758cfd4 add portal support for browser page
dadubrow
parents:
diff changeset
    90
				public void completed(ProgressEvent event) {
1832
aaf2f7bc0609 better handling of failed connect
dadubrow
parents: 1831
diff changeset
    91
					getStatusLineManager().setMessage(null);
1849
40d70835dc4f fix bug in rss display and more tweaks
dadubrow
parents: 1832
diff changeset
    92
					if (!failedConnect && !isValidPage()) {
1832
aaf2f7bc0609 better handling of failed connect
dadubrow
parents: 1831
diff changeset
    93
						displayCannotFindServerPage();
1856
e3ec6febb587 Show only warning when all installed
dadubrow
parents: 1849
diff changeset
    94
						Activator.logError(Messages.AbstractBrowserPortalPageLayer_URLDisplayError + getURL().toExternalForm(), null);
1832
aaf2f7bc0609 better handling of failed connect
dadubrow
parents: 1831
diff changeset
    95
						failedConnect = true;
aaf2f7bc0609 better handling of failed connect
dadubrow
parents: 1831
diff changeset
    96
					}
1653
af990ce6899d tweak portal ui
dadubrow
parents: 1637
diff changeset
    97
					setLoading(false);
1634
c8405758cfd4 add portal support for browser page
dadubrow
parents:
diff changeset
    98
					NavigationActionBar.this.updater.updateAll();
c8405758cfd4 add portal support for browser page
dadubrow
parents:
diff changeset
    99
				}
c8405758cfd4 add portal support for browser page
dadubrow
parents:
diff changeset
   100
			});
1721
18638adda547 more portal changes:
dadubrow
parents: 1705
diff changeset
   101
			browser.addOpenWindowListener(new OpenWindowListener() {
18638adda547 more portal changes:
dadubrow
parents: 1705
diff changeset
   102
				@Override
18638adda547 more portal changes:
dadubrow
parents: 1705
diff changeset
   103
				public void open(WindowEvent event) {
18638adda547 more portal changes:
dadubrow
parents: 1705
diff changeset
   104
					event.browser = browser;
18638adda547 more portal changes:
dadubrow
parents: 1705
diff changeset
   105
				}
18638adda547 more portal changes:
dadubrow
parents: 1705
diff changeset
   106
			});
1832
aaf2f7bc0609 better handling of failed connect
dadubrow
parents: 1831
diff changeset
   107
			browser.addStatusTextListener(new StatusTextListener() {
aaf2f7bc0609 better handling of failed connect
dadubrow
parents: 1831
diff changeset
   108
				@Override
aaf2f7bc0609 better handling of failed connect
dadubrow
parents: 1831
diff changeset
   109
				public void changed(StatusTextEvent event) {
aaf2f7bc0609 better handling of failed connect
dadubrow
parents: 1831
diff changeset
   110
					getStatusLineManager().setMessage(event.text);
aaf2f7bc0609 better handling of failed connect
dadubrow
parents: 1831
diff changeset
   111
				}
aaf2f7bc0609 better handling of failed connect
dadubrow
parents: 1831
diff changeset
   112
			});
1634
c8405758cfd4 add portal support for browser page
dadubrow
parents:
diff changeset
   113
		}
c8405758cfd4 add portal support for browser page
dadubrow
parents:
diff changeset
   114
c8405758cfd4 add portal support for browser page
dadubrow
parents:
diff changeset
   115
		@Override
c8405758cfd4 add portal support for browser page
dadubrow
parents:
diff changeset
   116
		public String getTitle() {
1661
cd8159f371c7 multiple changes:
dadubrow
parents: 1653
diff changeset
   117
			return Messages.AbstractBrowserPortalPage_NavigationTitle;
1634
c8405758cfd4 add portal support for browser page
dadubrow
parents:
diff changeset
   118
		}
c8405758cfd4 add portal support for browser page
dadubrow
parents:
diff changeset
   119
c8405758cfd4 add portal support for browser page
dadubrow
parents:
diff changeset
   120
		@Override
c8405758cfd4 add portal support for browser page
dadubrow
parents:
diff changeset
   121
		public IAction[] getActions() {
c8405758cfd4 add portal support for browser page
dadubrow
parents:
diff changeset
   122
			return (IAction[]) actions.toArray(new IAction[actions.size()]);
c8405758cfd4 add portal support for browser page
dadubrow
parents:
diff changeset
   123
		}
c8405758cfd4 add portal support for browser page
dadubrow
parents:
diff changeset
   124
c8405758cfd4 add portal support for browser page
dadubrow
parents:
diff changeset
   125
		public void update() {
c8405758cfd4 add portal support for browser page
dadubrow
parents:
diff changeset
   126
			updater.updateAll();
c8405758cfd4 add portal support for browser page
dadubrow
parents:
diff changeset
   127
		}
c8405758cfd4 add portal support for browser page
dadubrow
parents:
diff changeset
   128
1734
bf670d38123a More portal framework changes:
dadubrow
parents: 1721
diff changeset
   129
		public void setLoading(boolean loading) {
bf670d38123a More portal framework changes:
dadubrow
parents: 1721
diff changeset
   130
			Activator.setBusyCursor(browser, loading);
1653
af990ce6899d tweak portal ui
dadubrow
parents: 1637
diff changeset
   131
			this.loading = loading;
af990ce6899d tweak portal ui
dadubrow
parents: 1637
diff changeset
   132
		}
1661
cd8159f371c7 multiple changes:
dadubrow
parents: 1653
diff changeset
   133
cd8159f371c7 multiple changes:
dadubrow
parents: 1653
diff changeset
   134
		@Override
cd8159f371c7 multiple changes:
dadubrow
parents: 1653
diff changeset
   135
		public String[] getHighlightedActionIds() {
cd8159f371c7 multiple changes:
dadubrow
parents: 1653
diff changeset
   136
			return null;
cd8159f371c7 multiple changes:
dadubrow
parents: 1653
diff changeset
   137
		}
1721
18638adda547 more portal changes:
dadubrow
parents: 1705
diff changeset
   138
18638adda547 more portal changes:
dadubrow
parents: 1705
diff changeset
   139
		public boolean isLoading() {
18638adda547 more portal changes:
dadubrow
parents: 1705
diff changeset
   140
			return loading;
18638adda547 more portal changes:
dadubrow
parents: 1705
diff changeset
   141
		}
1634
c8405758cfd4 add portal support for browser page
dadubrow
parents:
diff changeset
   142
	}
c8405758cfd4 add portal support for browser page
dadubrow
parents:
diff changeset
   143
1832
aaf2f7bc0609 better handling of failed connect
dadubrow
parents: 1831
diff changeset
   144
	protected static final String HTML_BODY_HEADER = "<html><head><title></title><style type=\"text/css\">div.item {font-family : sans-serif; font-size : 12px; margin-bottom : 16px;} div.itemBody {padding-top : 3px; padding-bottom : 3px;} div.itemInfo {background-color : #EEEEEE; color : #333333;} div.feedflare {display: none;} a.itemTitle {font-size : 12px; font-weight : bold;} a.markItemRead {font-size : 10px; color : #333333;}</style></head><body>"; //$NON-NLS-1$
aaf2f7bc0609 better handling of failed connect
dadubrow
parents: 1831
diff changeset
   145
	protected static final String HTML_BODY_FOOTER = "</body></html>"; //$NON-NLS-1$
aaf2f7bc0609 better handling of failed connect
dadubrow
parents: 1831
diff changeset
   146
1721
18638adda547 more portal changes:
dadubrow
parents: 1705
diff changeset
   147
	protected Browser browser;
18638adda547 more portal changes:
dadubrow
parents: 1705
diff changeset
   148
	protected NavigationActionBar actionBar;
1832
aaf2f7bc0609 better handling of failed connect
dadubrow
parents: 1831
diff changeset
   149
	private IEditorPart part;
aaf2f7bc0609 better handling of failed connect
dadubrow
parents: 1831
diff changeset
   150
	private boolean failedConnect;
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
	@Override
c8405758cfd4 add portal support for browser page
dadubrow
parents:
diff changeset
   153
	public Control createControl(Composite parent, IEditorPart part) {
1832
aaf2f7bc0609 better handling of failed connect
dadubrow
parents: 1831
diff changeset
   154
		this.part = part;
1634
c8405758cfd4 add portal support for browser page
dadubrow
parents:
diff changeset
   155
		Composite composite = new Composite(parent, SWT.NONE);
c8405758cfd4 add portal support for browser page
dadubrow
parents:
diff changeset
   156
		composite.setBackground(parent.getDisplay().getSystemColor(SWT.COLOR_WIDGET_BACKGROUND));
c8405758cfd4 add portal support for browser page
dadubrow
parents:
diff changeset
   157
		composite.setLayout(new FillLayout());
c8405758cfd4 add portal support for browser page
dadubrow
parents:
diff changeset
   158
		try {
1637
06fc2fdd1ac4 add mozilla support
dadubrow
parents: 1634
diff changeset
   159
			browser = new Browser(composite, SWT.MOZILLA);
1783
6d8af00d456a fall back to normal browser renderer if error
dadubrow
parents: 1782
diff changeset
   160
		} catch (Throwable e1) {
6d8af00d456a fall back to normal browser renderer if error
dadubrow
parents: 1782
diff changeset
   161
			try {
6d8af00d456a fall back to normal browser renderer if error
dadubrow
parents: 1782
diff changeset
   162
				// try creating regular browser
6d8af00d456a fall back to normal browser renderer if error
dadubrow
parents: 1782
diff changeset
   163
				browser = new Browser(composite, SWT.NONE);
6d8af00d456a fall back to normal browser renderer if error
dadubrow
parents: 1782
diff changeset
   164
			} catch (Throwable e2) {
6d8af00d456a fall back to normal browser renderer if error
dadubrow
parents: 1782
diff changeset
   165
				// 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
   166
				Activator.logError(MessageFormat.format(Messages.AbstractBrowserPortalPageLayer_BrowserCreateError, e2.getMessage()), null);
6d8af00d456a fall back to normal browser renderer if error
dadubrow
parents: 1782
diff changeset
   167
			}
1634
c8405758cfd4 add portal support for browser page
dadubrow
parents:
diff changeset
   168
		}
c8405758cfd4 add portal support for browser page
dadubrow
parents:
diff changeset
   169
		
c8405758cfd4 add portal support for browser page
dadubrow
parents:
diff changeset
   170
		return composite;
c8405758cfd4 add portal support for browser page
dadubrow
parents:
diff changeset
   171
	}
c8405758cfd4 add portal support for browser page
dadubrow
parents:
diff changeset
   172
1721
18638adda547 more portal changes:
dadubrow
parents: 1705
diff changeset
   173
	protected URL getURL() {
1634
c8405758cfd4 add portal support for browser page
dadubrow
parents:
diff changeset
   174
		try {
1721
18638adda547 more portal changes:
dadubrow
parents: 1705
diff changeset
   175
			return new URL(Activator.getFromServerProperties(getClass().getName()));
1634
c8405758cfd4 add portal support for browser page
dadubrow
parents:
diff changeset
   176
		} catch (MalformedURLException e) {
1721
18638adda547 more portal changes:
dadubrow
parents: 1705
diff changeset
   177
			Activator.logError(Messages.AbstractBrowserPortalPageLayer_BadURLError, e);
1634
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
		return null;
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
	@Override
c8405758cfd4 add portal support for browser page
dadubrow
parents:
diff changeset
   184
	public void init() {
c8405758cfd4 add portal support for browser page
dadubrow
parents:
diff changeset
   185
		if (browser != null) {
1734
bf670d38123a More portal framework changes:
dadubrow
parents: 1721
diff changeset
   186
			Activator.runInUIThreadWhenProxyDataSet(browser, new Runnable() {
bf670d38123a More portal framework changes:
dadubrow
parents: 1721
diff changeset
   187
				@Override
bf670d38123a More portal framework changes:
dadubrow
parents: 1721
diff changeset
   188
				public void run() {
bf670d38123a More portal framework changes:
dadubrow
parents: 1721
diff changeset
   189
					URL url = getURL();
bf670d38123a More portal framework changes:
dadubrow
parents: 1721
diff changeset
   190
					if (url != null) {
1849
40d70835dc4f fix bug in rss display and more tweaks
dadubrow
parents: 1832
diff changeset
   191
						setUrl(url.toString());
1734
bf670d38123a More portal framework changes:
dadubrow
parents: 1721
diff changeset
   192
					}
bf670d38123a More portal framework changes:
dadubrow
parents: 1721
diff changeset
   193
					actionBar.hookBrowser();
bf670d38123a More portal framework changes:
dadubrow
parents: 1721
diff changeset
   194
					actionBar.update();
1822
8fdfd1446ad7 set the focus to layer control
dadubrow
parents: 1783
diff changeset
   195
					browser.setFocus();
1734
bf670d38123a More portal framework changes:
dadubrow
parents: 1721
diff changeset
   196
				}
bf670d38123a More portal framework changes:
dadubrow
parents: 1721
diff changeset
   197
			});
1634
c8405758cfd4 add portal support for browser page
dadubrow
parents:
diff changeset
   198
		}
c8405758cfd4 add portal support for browser page
dadubrow
parents:
diff changeset
   199
	}
c8405758cfd4 add portal support for browser page
dadubrow
parents:
diff changeset
   200
	
c8405758cfd4 add portal support for browser page
dadubrow
parents:
diff changeset
   201
	@Override
c8405758cfd4 add portal support for browser page
dadubrow
parents:
diff changeset
   202
	public IActionBar[] createCommandBars(IEditorPart part, IActionUIUpdater updater) {
c8405758cfd4 add portal support for browser page
dadubrow
parents:
diff changeset
   203
		actionBar = new NavigationActionBar(updater);
c8405758cfd4 add portal support for browser page
dadubrow
parents:
diff changeset
   204
		return new IActionBar[] {
c8405758cfd4 add portal support for browser page
dadubrow
parents:
diff changeset
   205
			actionBar
c8405758cfd4 add portal support for browser page
dadubrow
parents:
diff changeset
   206
		};
c8405758cfd4 add portal support for browser page
dadubrow
parents:
diff changeset
   207
	}
c8405758cfd4 add portal support for browser page
dadubrow
parents:
diff changeset
   208
c8405758cfd4 add portal support for browser page
dadubrow
parents:
diff changeset
   209
	@Override
c8405758cfd4 add portal support for browser page
dadubrow
parents:
diff changeset
   210
	public void dispose() {
c8405758cfd4 add portal support for browser page
dadubrow
parents:
diff changeset
   211
	}
1653
af990ce6899d tweak portal ui
dadubrow
parents: 1637
diff changeset
   212
	
1721
18638adda547 more portal changes:
dadubrow
parents: 1705
diff changeset
   213
	protected Set<IAction> makeActions() {
18638adda547 more portal changes:
dadubrow
parents: 1705
diff changeset
   214
		Set<IAction> actions = new LinkedHashSet<IAction>();
18638adda547 more portal changes:
dadubrow
parents: 1705
diff changeset
   215
		IAction a = new BrowserAction(Messages.AbstractBrowserPortalPage_BackLabel) {
18638adda547 more portal changes:
dadubrow
parents: 1705
diff changeset
   216
			@Override
18638adda547 more portal changes:
dadubrow
parents: 1705
diff changeset
   217
			public void run() {
18638adda547 more portal changes:
dadubrow
parents: 1705
diff changeset
   218
				if (browser != null) {
18638adda547 more portal changes:
dadubrow
parents: 1705
diff changeset
   219
					browser.back();
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
			
18638adda547 more portal changes:
dadubrow
parents: 1705
diff changeset
   223
			@Override
18638adda547 more portal changes:
dadubrow
parents: 1705
diff changeset
   224
			public boolean isEnabled() {
18638adda547 more portal changes:
dadubrow
parents: 1705
diff changeset
   225
				return super.isEnabled() && browser.isBackEnabled();
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
		actions.add(a);
18638adda547 more portal changes:
dadubrow
parents: 1705
diff changeset
   229
		
18638adda547 more portal changes:
dadubrow
parents: 1705
diff changeset
   230
		a = new BrowserAction(Messages.AbstractBrowserPortalPageLayer_ForwardLabel) {
18638adda547 more portal changes:
dadubrow
parents: 1705
diff changeset
   231
			@Override
18638adda547 more portal changes:
dadubrow
parents: 1705
diff changeset
   232
			public void run() {
18638adda547 more portal changes:
dadubrow
parents: 1705
diff changeset
   233
				if (browser != null) {
18638adda547 more portal changes:
dadubrow
parents: 1705
diff changeset
   234
					browser.forward();
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 super.isEnabled() && browser.isForwardEnabled();
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.AbstractBrowserPortalPage_RefreshLabel) {
18638adda547 more portal changes:
dadubrow
parents: 1705
diff changeset
   246
			@Override
18638adda547 more portal changes:
dadubrow
parents: 1705
diff changeset
   247
			public void run() {
18638adda547 more portal changes:
dadubrow
parents: 1705
diff changeset
   248
				if (browser != null) {
1849
40d70835dc4f fix bug in rss display and more tweaks
dadubrow
parents: 1832
diff changeset
   249
					if (browserHasURL())
40d70835dc4f fix bug in rss display and more tweaks
dadubrow
parents: 1832
diff changeset
   250
						browser.refresh();
40d70835dc4f fix bug in rss display and more tweaks
dadubrow
parents: 1832
diff changeset
   251
					else {
1832
aaf2f7bc0609 better handling of failed connect
dadubrow
parents: 1831
diff changeset
   252
						URL url = getURL();
aaf2f7bc0609 better handling of failed connect
dadubrow
parents: 1831
diff changeset
   253
						if (url != null) {
1849
40d70835dc4f fix bug in rss display and more tweaks
dadubrow
parents: 1832
diff changeset
   254
							setUrl(url.toString());
1832
aaf2f7bc0609 better handling of failed connect
dadubrow
parents: 1831
diff changeset
   255
						}
aaf2f7bc0609 better handling of failed connect
dadubrow
parents: 1831
diff changeset
   256
					}
1721
18638adda547 more portal changes:
dadubrow
parents: 1705
diff changeset
   257
					actionBar.update();
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
		};
18638adda547 more portal changes:
dadubrow
parents: 1705
diff changeset
   261
		actions.add(a);
18638adda547 more portal changes:
dadubrow
parents: 1705
diff changeset
   262
18638adda547 more portal changes:
dadubrow
parents: 1705
diff changeset
   263
		a = new Action(Messages.AbstractBrowserPortalPage_StopLabel) {
18638adda547 more portal changes:
dadubrow
parents: 1705
diff changeset
   264
			@Override
18638adda547 more portal changes:
dadubrow
parents: 1705
diff changeset
   265
			public void run() {
18638adda547 more portal changes:
dadubrow
parents: 1705
diff changeset
   266
				if (browser != null) {
18638adda547 more portal changes:
dadubrow
parents: 1705
diff changeset
   267
					browser.stop();
18638adda547 more portal changes:
dadubrow
parents: 1705
diff changeset
   268
					actionBar.update();
18638adda547 more portal changes:
dadubrow
parents: 1705
diff changeset
   269
				}
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
			@Override
18638adda547 more portal changes:
dadubrow
parents: 1705
diff changeset
   273
			public boolean isEnabled() {
18638adda547 more portal changes:
dadubrow
parents: 1705
diff changeset
   274
				return browser != null && actionBar.isLoading();
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
		actions.add(a);
18638adda547 more portal changes:
dadubrow
parents: 1705
diff changeset
   278
		
18638adda547 more portal changes:
dadubrow
parents: 1705
diff changeset
   279
		a = new BrowserAction(Messages.AbstractBrowserPortalPageLayer_ShowInBrowserLabel) {
18638adda547 more portal changes:
dadubrow
parents: 1705
diff changeset
   280
			public void run() {
18638adda547 more portal changes:
dadubrow
parents: 1705
diff changeset
   281
				WorkbenchUtils.showWebPageInExternalBrowser(browser.getUrl());
18638adda547 more portal changes:
dadubrow
parents: 1705
diff changeset
   282
			};
18638adda547 more portal changes:
dadubrow
parents: 1705
diff changeset
   283
			
18638adda547 more portal changes:
dadubrow
parents: 1705
diff changeset
   284
			public boolean isEnabled() {
18638adda547 more portal changes:
dadubrow
parents: 1705
diff changeset
   285
				return super.isEnabled() && browserHasURL();
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
		actions.add(a);
18638adda547 more portal changes:
dadubrow
parents: 1705
diff changeset
   289
		
18638adda547 more portal changes:
dadubrow
parents: 1705
diff changeset
   290
		a = new Action(Messages.AbstractBrowserPortalPageLayer_OpenLocationLabel) {
18638adda547 more portal changes:
dadubrow
parents: 1705
diff changeset
   291
			public void run() {
18638adda547 more portal changes:
dadubrow
parents: 1705
diff changeset
   292
				InputDialog dlg = new InputDialog(browser.getShell(), 
18638adda547 more portal changes:
dadubrow
parents: 1705
diff changeset
   293
						Messages.AbstractBrowserPortalPageLayer_OpenLocationTitle, Messages.AbstractBrowserPortalPageLayer_URLLabel, null, new IInputValidator() {
18638adda547 more portal changes:
dadubrow
parents: 1705
diff changeset
   294
					@Override
18638adda547 more portal changes:
dadubrow
parents: 1705
diff changeset
   295
					public String isValid(String newText) {
18638adda547 more portal changes:
dadubrow
parents: 1705
diff changeset
   296
						try {
2002
e9a2c2c218b4 make open location more robust in portal
dadubrow
parents: 1856
diff changeset
   297
							new URL(getLocationURL(newText));
1721
18638adda547 more portal changes:
dadubrow
parents: 1705
diff changeset
   298
						} catch (MalformedURLException e) {
18638adda547 more portal changes:
dadubrow
parents: 1705
diff changeset
   299
							return Messages.AbstractBrowserPortalPageLayer_InvalidURLError;
18638adda547 more portal changes:
dadubrow
parents: 1705
diff changeset
   300
						}
18638adda547 more portal changes:
dadubrow
parents: 1705
diff changeset
   301
						return null;
18638adda547 more portal changes:
dadubrow
parents: 1705
diff changeset
   302
					}
18638adda547 more portal changes:
dadubrow
parents: 1705
diff changeset
   303
				});
18638adda547 more portal changes:
dadubrow
parents: 1705
diff changeset
   304
				int result = dlg.open();
18638adda547 more portal changes:
dadubrow
parents: 1705
diff changeset
   305
				if (result == Dialog.OK) {
2002
e9a2c2c218b4 make open location more robust in portal
dadubrow
parents: 1856
diff changeset
   306
					String value = dlg.getValue();
e9a2c2c218b4 make open location more robust in portal
dadubrow
parents: 1856
diff changeset
   307
					setUrl(getLocationURL(value));
1721
18638adda547 more portal changes:
dadubrow
parents: 1705
diff changeset
   308
					actionBar.update();
18638adda547 more portal changes:
dadubrow
parents: 1705
diff changeset
   309
				}
2002
e9a2c2c218b4 make open location more robust in portal
dadubrow
parents: 1856
diff changeset
   310
			}
e9a2c2c218b4 make open location more robust in portal
dadubrow
parents: 1856
diff changeset
   311
e9a2c2c218b4 make open location more robust in portal
dadubrow
parents: 1856
diff changeset
   312
			private String getLocationURL(String value) {
e9a2c2c218b4 make open location more robust in portal
dadubrow
parents: 1856
diff changeset
   313
				try {
e9a2c2c218b4 make open location more robust in portal
dadubrow
parents: 1856
diff changeset
   314
					new URL(value);
e9a2c2c218b4 make open location more robust in portal
dadubrow
parents: 1856
diff changeset
   315
				} catch (MalformedURLException e) {
2062
4d032dc346bf More portal tweaks - icons, nav l&f + tooltips
dadubrow
parents: 2002
diff changeset
   316
					value = "http://" + value; //$NON-NLS-1$
2002
e9a2c2c218b4 make open location more robust in portal
dadubrow
parents: 1856
diff changeset
   317
				}
e9a2c2c218b4 make open location more robust in portal
dadubrow
parents: 1856
diff changeset
   318
				return value;
1721
18638adda547 more portal changes:
dadubrow
parents: 1705
diff changeset
   319
			};
18638adda547 more portal changes:
dadubrow
parents: 1705
diff changeset
   320
			
18638adda547 more portal changes:
dadubrow
parents: 1705
diff changeset
   321
			public boolean isEnabled() {
18638adda547 more portal changes:
dadubrow
parents: 1705
diff changeset
   322
				return browser != null;
18638adda547 more portal changes:
dadubrow
parents: 1705
diff changeset
   323
			};
18638adda547 more portal changes:
dadubrow
parents: 1705
diff changeset
   324
		};
18638adda547 more portal changes:
dadubrow
parents: 1705
diff changeset
   325
		actions.add(a);
18638adda547 more portal changes:
dadubrow
parents: 1705
diff changeset
   326
		
18638adda547 more portal changes:
dadubrow
parents: 1705
diff changeset
   327
		return actions;
18638adda547 more portal changes:
dadubrow
parents: 1705
diff changeset
   328
	}
18638adda547 more portal changes:
dadubrow
parents: 1705
diff changeset
   329
18638adda547 more portal changes:
dadubrow
parents: 1705
diff changeset
   330
	protected boolean browserHasURL() {
18638adda547 more portal changes:
dadubrow
parents: 1705
diff changeset
   331
		String url = browser.getUrl();
18638adda547 more portal changes:
dadubrow
parents: 1705
diff changeset
   332
		return url.matches("^.*://.*"); //$NON-NLS-1$
18638adda547 more portal changes:
dadubrow
parents: 1705
diff changeset
   333
	}
1832
aaf2f7bc0609 better handling of failed connect
dadubrow
parents: 1831
diff changeset
   334
1849
40d70835dc4f fix bug in rss display and more tweaks
dadubrow
parents: 1832
diff changeset
   335
	protected boolean isValidPage() {
40d70835dc4f fix bug in rss display and more tweaks
dadubrow
parents: 1832
diff changeset
   336
		return browserHasURL();
40d70835dc4f fix bug in rss display and more tweaks
dadubrow
parents: 1832
diff changeset
   337
	}
40d70835dc4f fix bug in rss display and more tweaks
dadubrow
parents: 1832
diff changeset
   338
	
40d70835dc4f fix bug in rss display and more tweaks
dadubrow
parents: 1832
diff changeset
   339
	protected void setUrl(String url) {
40d70835dc4f fix bug in rss display and more tweaks
dadubrow
parents: 1832
diff changeset
   340
		browser.setUrl(url);
40d70835dc4f fix bug in rss display and more tweaks
dadubrow
parents: 1832
diff changeset
   341
		failedConnect = false;
40d70835dc4f fix bug in rss display and more tweaks
dadubrow
parents: 1832
diff changeset
   342
	}
40d70835dc4f fix bug in rss display and more tweaks
dadubrow
parents: 1832
diff changeset
   343
1832
aaf2f7bc0609 better handling of failed connect
dadubrow
parents: 1831
diff changeset
   344
	protected void displayCannotFindServerPage() {
aaf2f7bc0609 better handling of failed connect
dadubrow
parents: 1831
diff changeset
   345
		StringBuilder sb = new StringBuilder(HTML_BODY_HEADER);
aaf2f7bc0609 better handling of failed connect
dadubrow
parents: 1831
diff changeset
   346
		// if we want, we can add html here for failed connect case
aaf2f7bc0609 better handling of failed connect
dadubrow
parents: 1831
diff changeset
   347
		sb.append(HTML_BODY_FOOTER);
aaf2f7bc0609 better handling of failed connect
dadubrow
parents: 1831
diff changeset
   348
		browser.setText(sb.toString());
aaf2f7bc0609 better handling of failed connect
dadubrow
parents: 1831
diff changeset
   349
		browser.redraw();
aaf2f7bc0609 better handling of failed connect
dadubrow
parents: 1831
diff changeset
   350
	}
aaf2f7bc0609 better handling of failed connect
dadubrow
parents: 1831
diff changeset
   351
	
aaf2f7bc0609 better handling of failed connect
dadubrow
parents: 1831
diff changeset
   352
	private IStatusLineManager getStatusLineManager() {
aaf2f7bc0609 better handling of failed connect
dadubrow
parents: 1831
diff changeset
   353
		return part.getEditorSite().getActionBars().getStatusLineManager();
aaf2f7bc0609 better handling of failed connect
dadubrow
parents: 1831
diff changeset
   354
	}
1634
c8405758cfd4 add portal support for browser page
dadubrow
parents:
diff changeset
   355
}