From 597eda2d60523e569b52e22541b152f05cb6ece9 Mon Sep 17 00:00:00 2001 From: "G. Hentschke" <123444711+ghentschke@users.noreply.github.com> Date: Sat, 29 Jun 2024 00:59:39 +0200 Subject: [PATCH] Add enabled to JSON Compilation Database Generator prop page (#847) (#848) Show the JSON Compilation Database Generator properties page only for managed build projects. fixes #847 --- .../org.eclipse.cdt.managedbuilder.ui/META-INF/MANIFEST.MF | 2 +- build/org.eclipse.cdt.managedbuilder.ui/plugin.xml | 6 ++++++ 2 files changed, 7 insertions(+), 1 deletion(-) diff --git a/build/org.eclipse.cdt.managedbuilder.ui/META-INF/MANIFEST.MF b/build/org.eclipse.cdt.managedbuilder.ui/META-INF/MANIFEST.MF index 9f9770f226e..f278a71c840 100644 --- a/build/org.eclipse.cdt.managedbuilder.ui/META-INF/MANIFEST.MF +++ b/build/org.eclipse.cdt.managedbuilder.ui/META-INF/MANIFEST.MF @@ -2,7 +2,7 @@ Manifest-Version: 1.0 Bundle-ManifestVersion: 2 Bundle-Name: %pluginName Bundle-SymbolicName: org.eclipse.cdt.managedbuilder.ui; singleton:=true -Bundle-Version: 9.4.200.qualifier +Bundle-Version: 9.4.300.qualifier Bundle-Activator: org.eclipse.cdt.managedbuilder.ui.properties.ManagedBuilderUIPlugin Bundle-Vendor: %providerName Bundle-Localization: plugin diff --git a/build/org.eclipse.cdt.managedbuilder.ui/plugin.xml b/build/org.eclipse.cdt.managedbuilder.ui/plugin.xml index 204de3966ee..8af3dec2afd 100644 --- a/build/org.eclipse.cdt.managedbuilder.ui/plugin.xml +++ b/build/org.eclipse.cdt.managedbuilder.ui/plugin.xml @@ -820,6 +820,12 @@ class="org.eclipse.cdt.managedbuilder.internal.ui.compilationdatabase.CompilationDatabaseGeneratorBlock" id="org.eclipse.cdt.managedbuilder.ui.properties.Page_JsonCompilationDatabaseGenerator" name="%JSONCompilatioDatabaseGeneratorPage.name"> + + + + +