Skip to main content

[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index] [List Home]
[platform-ui-dev] Maintenance build submission for 20081212-0800


The map file has been updated for the following Bug changes:
+ Bug 249527. [Preferences] Cannot perform scrolling via keyboard in
preference dialog (FIXED)
+ Bug 256839. [Workbench] Workbench.shutdown() doesn't complete due to
exception (FIXED)

The following projects have changed:
org.eclipse.jface
org.eclipse.ui.workbench


Back to the top