From 5e27e4c377577bfa4535abd74fb9bcc5ad1696b2 Mon Sep 17 00:00:00 2001 From: William Riley Date: Fri, 9 Feb 2018 13:23:33 +0000 Subject: [PATCH] Bug 530941 - Ignore editor file unless editor is active Change-Id: Ie755f80cc01f55c0d4b9b704ff40008b8bb841af Signed-off-by: William Riley --- .../plugin.xml | 26 ++++++++++++++++--- 1 file changed, 22 insertions(+), 4 deletions(-) diff --git a/build/org.eclipse.cdt.managedbuilder.ui/plugin.xml b/build/org.eclipse.cdt.managedbuilder.ui/plugin.xml index 39299a9a312..e9df66e8a4f 100644 --- a/build/org.eclipse.cdt.managedbuilder.ui/plugin.xml +++ b/build/org.eclipse.cdt.managedbuilder.ui/plugin.xml @@ -103,14 +103,23 @@ - + + + + + + + + @@ -124,14 +133,23 @@ - + + + + + + + +