# HG changeset patch # User dadubrow # Date 1279723038 18000 # Node ID af990ce6899d5d01c9b2f3646fae33f678e43d50 # Parent 7b6c6a49d52cae3fa3f3ff3ecfca6abf2925acc2 tweak portal ui diff -r 7b6c6a49d52c -r af990ce6899d core/com.nokia.carbide.discovery.ui/src/com/nokia/carbide/internal/discovery/ui/editor/PortalEditor.java --- a/core/com.nokia.carbide.discovery.ui/src/com/nokia/carbide/internal/discovery/ui/editor/PortalEditor.java Tue Jul 20 17:17:54 2010 -0500 +++ b/core/com.nokia.carbide.discovery.ui/src/com/nokia/carbide/internal/discovery/ui/editor/PortalEditor.java Wed Jul 21 09:37:18 2010 -0500 @@ -230,6 +230,7 @@ if (oldBGImg != null) oldBGImg.dispose(); oldBGImg = newImage; + backgroundParent.layout(); } }); } diff -r 7b6c6a49d52c -r af990ce6899d core/com.nokia.carbide.discovery.ui/src/com/nokia/carbide/internal/discovery/ui/editor/TaskBar.java --- a/core/com.nokia.carbide.discovery.ui/src/com/nokia/carbide/internal/discovery/ui/editor/TaskBar.java Tue Jul 20 17:17:54 2010 -0500 +++ b/core/com.nokia.carbide.discovery.ui/src/com/nokia/carbide/internal/discovery/ui/editor/TaskBar.java Wed Jul 21 09:37:18 2010 -0500 @@ -86,6 +86,7 @@ String toolTipText = action.getToolTipText(); if (toolTipText != null) link.setToolTipText(toolTipText); + link.setForeground(link.getDisplay().getSystemColor(SWT.COLOR_DARK_BLUE)); link.setBackground(link.getDisplay().getSystemColor(SWT.COLOR_WHITE)); linkToActionMap.put(link, action); link.addHyperlinkListener(listener); diff -r 7b6c6a49d52c -r af990ce6899d core/com.nokia.carbide.discovery.ui/src/com/nokia/carbide/internal/discovery/ui/extension/AbstractBrowserPortalPage.java --- a/core/com.nokia.carbide.discovery.ui/src/com/nokia/carbide/internal/discovery/ui/extension/AbstractBrowserPortalPage.java Tue Jul 20 17:17:54 2010 -0500 +++ b/core/com.nokia.carbide.discovery.ui/src/com/nokia/carbide/internal/discovery/ui/extension/AbstractBrowserPortalPage.java Wed Jul 21 09:37:18 2010 -0500 @@ -61,12 +61,12 @@ public void changed(ProgressEvent event) { if (event.total == 0) return; - loading = (event.current != event.total); + setLoading(event.current != event.total); NavigationActionBar.this.updater.updateAll(); } @Override public void completed(ProgressEvent event) { - loading = false; + setLoading(false); NavigationActionBar.this.updater.updateAll(); } }); @@ -151,6 +151,10 @@ updater.updateAll(); } + private void setLoading(boolean loading) { + browser.setCursor(loading ? browser.getDisplay().getSystemCursor(SWT.CURSOR_WAIT) : null); + this.loading = loading; + } } private Browser browser; @@ -201,5 +205,5 @@ @Override public void dispose() { } - + }