Some Eclipse Foundation services are deprecated, or will be soon. Please ensure you've read this important communication.

Bug 341487

Summary:

[Eclipse Platform Utilities] Add org.eclipse.sphinx.platform.ui.preferences.IPropertyPageIdProvider to org.eclipse.sphinx.platform.ui plug-in

Product:

[Automotive] Sphinx

Reporter:

Idrissa Dieng <idydieng>

Component:

Core

Assignee:

Stephan Eberle <stephaneberle9>

Status:

CLOSED FIXED

QA Contact:

Severity:

enhancement

Priority:

CC:

ali.akar82

Version:

0.7.0

Target Milestone:

0.7.0

Hardware:

All

OS:

All

Whiteboard:

Attachments:

Description	Flags
Add org.eclipse.sphinx.platform.ui.preferences.IPropertyPageIdProvider to org.eclipse.sphinx.platform.ui plug-in	idydieng: iplog+

Description Idrissa Dieng

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

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

2011-03-31 10:40:27 EDT

Fixed by applying proposed patch.

Comment 3 Balazs Grill

2021-07-14 02:16:21 EDT

Mass-closing Resolved tickets