public PluginRegistry getPluginRegistry(){ if (pluginRegistry == null){ pluginRegistry = new PluginRegistryImpl(getPluginRegistryLocation(), PLUGIN_DOWNLOAD_REGISTRY); } return pluginRegistry; }
public void showUpdatesDialog(Map<String, PluginRegistry> downloadsProviders) { List<PluginInfo> selUpdates = PluginPanel.showDialog(downloadsProviders, null); if (selUpdates != null){ PluginInstaller installer = new PluginInstaller(selUpdates); installer.run(); // @@TODO remove the installed plugins from the updatesProvider } }
public void componentShown(ComponentEvent event) { removeComponentListener(componentAdapter); handleTableShown(); } };
public void actionPerformed(ActionEvent event) { PluginManager.getInstance().checkForDownloads(); } });
public void actionPerformed(ActionEvent e) { PluginManager.getInstance().checkForUpdates(); } });
public void actionPerformed(ActionEvent event) { PluginManager.getInstance().performCheckPlugins(); }
public void valueChanged(ListSelectionEvent e) { PluginInfo info = table.getCurrentUpdateInfo(); updateInfoPanel(info); } });
public List<PluginInfo> getPluginsToInstall() { return pluginTable.getSelectedUpdateInfo(); }
public static synchronized PluginManager getInstance() { if (instance == null) { instance = new PluginManager(); } return instance; }
public List<PluginInfo> getAvailableDownloads() { if (plugins == null){ reload(); } return plugins; }
public void runCheckForPlugins() throws IOException { ensureConnectionToPluginRegistry(); runSearch(SearchType.UPDATES_AND_INSTALLS); }
public void runAutoUpdate() { runSearch(SearchType.UPDATES_ONLY); }
public void showUpdatesDialog(Map<String, PluginRegistry> downloadsProviders) { List<PluginInfo> selUpdates = PluginPanel.showDialog(downloadsProviders, null); if (selUpdates != null){ PluginInstaller installer = new PluginInstaller(selUpdates); installer.run(); // @@TODO remove the installed plugins from the updatesProvider } }
public PluginRegistry getPluginRegistry(){ if (pluginRegistry == null){ pluginRegistry = new PluginRegistryImpl(getPluginRegistryLocation(), PLUGIN_DOWNLOAD_REGISTRY); } return pluginRegistry; }
public void actionPerformed(ActionEvent event) { PluginManager.getInstance().checkForDownloads(); } });
public void componentShown(ComponentEvent event) { removeComponentListener(componentAdapter); handleTableShown(); } };
public void valueChanged(ListSelectionEvent e) { PluginInfo info = table.getCurrentUpdateInfo(); updateInfoPanel(info); } });
public static synchronized PluginManager getInstance() { if (instance == null) { instance = new PluginManager(); } return instance; }
public List<PluginInfo> getAvailableDownloads() { if (plugins == null){ reload(); } return plugins; }
public void componentShown(ComponentEvent event) { removeComponentListener(componentAdapter); handleTableShown(); } };