[
Date Prev][
Date Next][
Thread Prev][
Thread Next][
Date Index][
Thread Index]
[
List Home]
|
[platform-ui-dev] Build submission for I20080729-0800
|
The map file has been updated for the following Bug changes:
+ Bug 233313. [Preferences] Mistake in javadoc for PreferencePage
(FIXED)
+ Bug 240381. [Progress] NPE in org.eclipse.ui.workbench
GroupInfo.java and JobTreeElement.java (FIXED)
+ Bug 240697. [DataBinding] StringToNumberConverter extends non-API
type NumberFormatConverter (FIXED)
+ Bug 241277. [ErrorHandling] DefaultDetailsArea and
StackTraceSupportArea leak Clipboards (FIXED)
+ Bug 241318. [DataBinding] DetailObservable(Value|List|Set) disposes
the master observable in its own dispose() method (FIXED)
+ Bug 241384. [Markers] Cannot delete marker from in marker, problems,
task or bookmarks view (FIXED)
+ Bug 241585. [DataBinding] JavaBeanObservableMap returns non-null
values for keys not in keySet (FIXED)
The following projects have changed:
org.eclipse.ui.ide
org.eclipse.ui.tests
org.eclipse.jface.tests.databinding
org.eclipse.jface.databinding
org.eclipse.jface
org.eclipse.core.databinding
org.eclipse.core.databinding.beans
org.eclipse.ui.workbench
