Some Eclipse Foundation services are deprecated, or will be soon. Please ensure you've read this important communication.
Bug 341487 - [Eclipse Platform Utilities] Add org.eclipse.sphinx.platform.ui.preferences.IPropertyPageIdProvider to org.eclipse.sphinx.platform.ui plug-in
Summary: [Eclipse Platform Utilities] Add org.eclipse.sphinx.platform.ui.preferences.I...
Status: CLOSED FIXED
Alias: None
Product: Sphinx
Classification: Automotive
Component: Core (show other bugs)
Version: 0.7.0   Edit
Hardware: All All
: P3 enhancement (vote)
Target Milestone: 0.7.0   Edit
Assignee: Stephan Eberle CLA
QA Contact:
URL:
Whiteboard:
Keywords:
Depends on:
Blocks:
 
Reported: 2011-03-31 10:21 EDT by Idrissa Dieng CLA
Modified: 2021-07-14 02:16 EDT (History)
1 user (show)

See Also:


Attachments
Add org.eclipse.sphinx.platform.ui.preferences.IPropertyPageIdProvider to org.eclipse.sphinx.platform.ui plug-in (1.83 KB, patch)
2011-03-31 10:23 EDT, Idrissa Dieng CLA
idydieng: iplog+
Details | Diff

Note You need to log in before you can comment on or make changes to this bug.
Description Idrissa Dieng CLA 2011-03-31 10:21:53 EDT
Build Identifier: 20110218-0911

Add org.eclipse.sphinx.platform.ui.preferences.IPropertyPageIdProvider to org.eclipse.sphinx.platform.ui plug-in that allow getting a property page ID.

Reproducible: Always
Comment 1 Idrissa Dieng CLA 2011-03-31 10:23:10 EDT
Created attachment 192277 [details]
Add org.eclipse.sphinx.platform.ui.preferences.IPropertyPageIdProvider to org.eclipse.sphinx.platform.ui plug-in
Comment 2 Stephan Eberle CLA 2011-03-31 10:40:27 EDT
Fixed by applying proposed patch.
Comment 3 Balazs Grill CLA 2021-07-14 02:16:21 EDT
Mass-closing Resolved tickets