Attachment 194486 Details for Bug 335536 – Patch with fix.

[patch] Patch with fix.

20110429_335536.patch (text/plain), 1.33 KB, created by Pawel Piech

on 2011-05-02 09:35:49 EDT

(hide)

Description:

Filename:

MIME Type:

Creator: Pawel Piech

Created: 2011-05-02 09:35:49 EDT

Size: 1.33 KB

patch

obsolete

>### Eclipse Workspace Patch 1.0
>#P org.eclipse.debug.ui
>Index: ui/org/eclipse/debug/internal/ui/views/launch/LaunchView.java
>===================================================================
>RCS file: /cvsroot/eclipse/org.eclipse.debug.ui/ui/org/eclipse/debug/internal/ui/views/launch/LaunchView.java,v
>retrieving revision 1.203
>diff -u -r1.203 LaunchView.java
>--- ui/org/eclipse/debug/internal/ui/views/launch/LaunchView.java	9 Aug 2010 19:56:10 -0000	1.203
>+++ ui/org/eclipse/debug/internal/ui/views/launch/LaunchView.java	29 Apr 2011 23:06:59 -0000
>@@ -156,6 +156,8 @@
> 
>     private static final String RESTART = "restart"; //$NON-NLS-1$
> 
>+    private static final int BREADCRUMB_TRIGGER_HEIGHT_DEFAULT = 30; // pixels
>+    
>     private static final int BREADCRUMB_TRIGGER_RANGE = 5; // pixels
>     
>     private static final int BREADCRUMB_STICKY_RANGE = 20; // pixels
>@@ -753,6 +755,11 @@
>     */
>    private void autoSelectViewPage(Composite parent) {
>        int breadcrumbHeight = fBreadcrumbPage.getHeight();
>+       // Breadcrumb may report size 0 if it hasn't been shown yet.
>+       // Bug 335536.
>+       if (breadcrumbHeight == 0) {
>+           breadcrumbHeight = BREADCRUMB_TRIGGER_HEIGHT_DEFAULT;
>+       }
>        if (parent.getClientArea().height < breadcrumbHeight + BREADCRUMB_TRIGGER_RANGE) {
>            showBreadcrumbPage();
>        }

Flags:

pawel.1.piech: review?

Actions: View | Diff

Attachments on bug 335536: 194486