Sign in
eclipse
/
pde
/
eclipse.pde.ui
/
09bbad367179fb39a35f278aa62f51cb57de6f6f
commit
09bbad367179fb39a35f278aa62f51cb57de6f6f
[
log
]
author
Brian Bauman <bbauman>
Tue Aug 14 19:42:23 2007 +0000
committer
Brian Bauman <bbauman>
Tue Aug 14 19:42:23 2007 +0000
tree
caf099c60493d2a51de17ec5b81e812886979481
parent
7095843dcfaa783d71b8b76ea9bc21645f6861ee
[
diff
]
Fixing some problems related to updating Product Overview page based on Extension Registry updates.
ui/org.eclipse.pde.core/src/org/eclipse/pde/internal/core/PDEExtensionRegistry.java
[
diff
]
ui/org.eclipse.pde.core/src/org/eclipse/pde/internal/core/TargetPlatformResetJob.java
[
diff
]
ui/org.eclipse.pde.ui/src/org/eclipse/pde/internal/ui/editor/product/ProductInfoSection.java
[
diff
]
3 files changed
tree: caf099c60493d2a51de17ec5b81e812886979481
ui/
.gitignore
