Attachment 146491 Details for Bug 288625 – proposed patch

[patch] proposed patch

PropertyDialogFix.txt (text/plain), 1.04 KB, created by Gaetano Santoro

on 2009-09-04 07:48:28 EDT

(hide)

Description:

Filename:

MIME Type:

Creator: Gaetano Santoro

Created: 2009-09-04 07:48:28 EDT

Size: 1.04 KB

patch

obsolete

>### Eclipse Workspace Patch 1.0
>#P org.eclipse.ui.workbench
>Index: Eclipse UI/org/eclipse/ui/internal/dialogs/PropertyDialog.java
>===================================================================
>RCS file: /cvsroot/eclipse/org.eclipse.ui.workbench/Eclipse UI/org/eclipse/ui/internal/dialogs/PropertyDialog.java,v
>retrieving revision 1.30
>diff -u -r1.30 PropertyDialog.java
>--- Eclipse UI/org/eclipse/ui/internal/dialogs/PropertyDialog.java	9 May 2008 14:13:11 -0000	1.30
>+++ Eclipse UI/org/eclipse/ui/internal/dialogs/PropertyDialog.java	4 Sep 2009 11:48:28 -0000
>@@ -11,7 +11,6 @@
> package org.eclipse.ui.internal.dialogs;
> 
> import java.util.Iterator;
>-
> import org.eclipse.jface.dialogs.MessageDialog;
> import org.eclipse.jface.preference.PreferenceManager;
> import org.eclipse.jface.viewers.ISelection;
>@@ -79,6 +78,8 @@
> 		if (propertyPageId != null) {
> 			propertyDialog.setSelectedNode(propertyPageId);
> 		}
>+
>+		propertyDialog.setMinimumPageSize(480, 480);
> 		propertyDialog.create();
> 
> 		propertyDialog.getShell().setText(title);

Actions: View | Diff

Attachments on bug 288625: 146491