mirror of
https://github.com/eclipse-cdt/cdt
synced 2025-07-24 09:25:31 +02:00
d13343cda9
Move preference page to new UI plugin. This is piece six of change https://git.eclipse.org/r/c/159828 being split into pieces. Splitting is done for code reviewing reasons. Change-Id: I9db0f3053ef9524a5b79a0fc9b8198ff241acb1a Signed-off-by: Martin Weber <fifteenknots505@gmail.com>
14 lines
420 B
XML
14 lines
420 B
XML
<?xml version="1.0" encoding="UTF-8"?>
|
|
<plugin>
|
|
|
|
<extension
|
|
point="org.eclipse.ui.preferencePages">
|
|
<page
|
|
category="org.eclipse.cdt.cmake.ui.page1"
|
|
class="org.eclipse.cdt.cmake.is.core.ui.internal.IndexerSupportPreferencePage"
|
|
id="org.eclipse.cdt.cmake.is.core.ui.IndexerSupportPreferencePage"
|
|
name="%page.name">
|
|
</page>
|
|
</extension>
|
|
|
|
</plugin>
|