From d363904bf92f8c6a981c9c4cea8458de60846d57 Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?Yann=20C=C3=A9bron?= Date: Tue, 14 Feb 2017 15:00:52 +0100 Subject: [PATCH] [devkit] plugin.xml: add plugin@allow-bundled-update attribute --- plugins/devkit/src/dom/IdeaPlugin.java | 5 ++++- 1 file changed, 4 insertions(+), 1 deletion(-) diff --git a/plugins/devkit/src/dom/IdeaPlugin.java b/plugins/devkit/src/dom/IdeaPlugin.java index 3da0c73df278..bcbd35956435 100644 --- a/plugins/devkit/src/dom/IdeaPlugin.java +++ b/plugins/devkit/src/dom/IdeaPlugin.java @@ -1,5 +1,5 @@ /* - * Copyright 2000-2016 JetBrains s.r.o. + * Copyright 2000-2017 JetBrains s.r.o. * * Licensed under the Apache License, Version 2.0 (the "License"); * you may not use this file except in compliance with the License. @@ -56,6 +56,9 @@ public interface IdeaPlugin extends DomElement { @NotNull GenericAttributeValue getUseIdeaClassloader(); + @NotNull + GenericAttributeValue getAllowBundledUpdate(); + @NotNull @Stubbed GenericDomValue getName();