--- a/core/com.nokia.carbide.discovery.ui/src/com/nokia/carbide/internal/discovery/ui/editor/NavigationBar.java Fri Sep 17 18:45:25 2010 -0500
+++ b/core/com.nokia.carbide.discovery.ui/src/com/nokia/carbide/internal/discovery/ui/editor/NavigationBar.java Sat Sep 18 16:25:07 2010 -0500
@@ -74,7 +74,7 @@
}
public void addNavButton(NavigationBar bar, PortalPage page) {
- Button b = new Button(bar, SWT.LEFT | SWT.TOGGLE);
+ Button b = new Button(bar, SWT.TOGGLE);
b.setFont(buttonFont);
b.setText(page.getTitle());
b.setImage(portalEditor.createImage(page.getImageDescriptor(), 32, 32));
--- a/core/com.nokia.carbide.discovery.ui/src/com/nokia/carbide/internal/discovery/ui/editor/SharedBackgroundComposite.java Fri Sep 17 18:45:25 2010 -0500
+++ b/core/com.nokia.carbide.discovery.ui/src/com/nokia/carbide/internal/discovery/ui/editor/SharedBackgroundComposite.java Sat Sep 18 16:25:07 2010 -0500
@@ -61,5 +61,11 @@
// gc.setForeground(gc.getDevice().getSystemColor(SWT.COLOR_WHITE));
// gc.drawRectangle(1, 1, width - 2, height - 2);
}
+
+ @Override
+ public void setBounds(int x, int y, int width, int height) {
+ super.setBounds(x, y, width, height);
+ redraw();
+ }
}