Bug 228985 - JREsPreferencePage.java resizing problem
https://bugs.eclipse.org/bugs/show_bug.cgi?id=228985
diff --git a/org.eclipse.jdt.debug.ui/ui/org/eclipse/jdt/internal/debug/ui/jres/InstalledJREsBlock.java b/org.eclipse.jdt.debug.ui/ui/org/eclipse/jdt/internal/debug/ui/jres/InstalledJREsBlock.java
index 2dded71..37662db 100644
--- a/org.eclipse.jdt.debug.ui/ui/org/eclipse/jdt/internal/debug/ui/jres/InstalledJREsBlock.java
+++ b/org.eclipse.jdt.debug.ui/ui/org/eclipse/jdt/internal/debug/ui/jres/InstalledJREsBlock.java
@@ -1,5 +1,5 @@
/*******************************************************************************
- * Copyright (c) 2000, 2007 IBM Corporation and others.
+ * Copyright (c) 2000, 2008 IBM Corporation and others.
* All rights reserved. This program and the accompanying materials
* are made available under the terms of the Eclipse Public License v1.0
* which accompanies this distribution, and is available at
@@ -244,6 +244,7 @@
fTable= new Table(parent, SWT.CHECK | SWT.BORDER | SWT.MULTI | SWT.FULL_SELECTION);
GridData gd = new GridData(GridData.FILL_BOTH);
gd.heightHint = 250;
+ gd.widthHint = 350;
fTable.setLayoutData(gd);
fTable.setFont(font);
fTable.setHeaderVisible(true);
@@ -256,6 +257,8 @@
sortByName();
}
});
+ int defaultwidth = 350/3 +1;
+ column.setWidth(defaultwidth);
column = new TableColumn(fTable, SWT.NULL);
column.setText(JREMessages.InstalledJREsBlock_1);
@@ -264,7 +267,8 @@
sortByLocation();
}
});
-
+ column.setWidth(defaultwidth);
+
column = new TableColumn(fTable, SWT.NULL);
column.setText(JREMessages.InstalledJREsBlock_2);
column.addSelectionListener(new SelectionAdapter() {
@@ -272,7 +276,8 @@
sortByType();
}
});
-
+ column.setWidth(defaultwidth);
+
fVMList = new CheckboxTableViewer(fTable);
fVMList.setLabelProvider(new VMLabelProvider());
fVMList.setContentProvider(new JREsContentProvider());
diff --git a/org.eclipse.jdt.debug/buildnotes_jdt-debug.html b/org.eclipse.jdt.debug/buildnotes_jdt-debug.html
index eddd9b4..71285bc 100644
--- a/org.eclipse.jdt.debug/buildnotes_jdt-debug.html
+++ b/org.eclipse.jdt.debug/buildnotes_jdt-debug.html
@@ -91,6 +91,7 @@
<h2>May 14, 2008</h2>
<h3>Problem Reports Fixed</h3>
<a href="http://bugs.eclipse.org/bugs/show_bug.cgi?id=232060">Bug 232060</a>: BIDI algorithm in JDISourceViewer is wrong<br>
+<a href="http://bugs.eclipse.org/bugs/show_bug.cgi?id=228985">Bug 228985</a>: JREsPreferencePage.java resizing problem<br>
<h2>May 7, 2008</h2>
<h3>Problem Reports Fixed</h3>