Searched refs:ideaPluginDescriptor (Results 1 – 1 of 1) sorted by relevance
71 final IdeaPluginDescriptor ideaPluginDescriptor = PluginManager.getPlugin(pluginId); in submit() local72 if (ideaPluginDescriptor != null && !ideaPluginDescriptor.isBundled()) { in submit()73 bean.setPluginName(ideaPluginDescriptor.getName()); in submit()74 bean.setPluginVersion(ideaPluginDescriptor.getVersion()); in submit()