Ignore:
Timestamp:
2018-08-12T17:24:32+02:00 (3 years ago)
Author:
Don-vip
Message:

see #15229 - deprecate Main.pref

Location:
trunk/src/org/openstreetmap/josm/plugins
Files:
4 edited

Legend:

Unmodified
Added
Removed
  • trunk/src/org/openstreetmap/josm/plugins/Plugin.java

    r14005 r14149  
    1111import java.util.List;
    1212
    13 import org.openstreetmap.josm.Main;
     13import org.openstreetmap.josm.data.Preferences;
    1414import org.openstreetmap.josm.gui.MapFrame;
    1515import org.openstreetmap.josm.gui.MapFrameListener;
     
    167167     */
    168168    public ClassLoader getPluginResourceClassLoader() {
    169         File pluginDir = Main.pref.getPluginsDirectory();
     169        File pluginDir = Preferences.main().getPluginsDirectory();
    170170        File pluginJar = new File(pluginDir, info.name + ".jar");
    171171        final URL pluginJarUrl = Utils.fileToURL(pluginJar);
  • trunk/src/org/openstreetmap/josm/plugins/PluginDownloadTask.java

    r13761 r14149  
    1515import java.util.LinkedList;
    1616
    17 import org.openstreetmap.josm.Main;
     17import org.openstreetmap.josm.data.Preferences;
    1818import org.openstreetmap.josm.data.Version;
    1919import org.openstreetmap.josm.gui.ExtendedDialog;
     
    155155    @Override
    156156    protected void realRun() throws SAXException, IOException {
    157         File pluginDir = Main.pref.getPluginsDirectory();
     157        File pluginDir = Preferences.main().getPluginsDirectory();
    158158        if (!pluginDir.exists() && !pluginDir.mkdirs()) {
    159159            String message = tr("Failed to create plugin directory ''{0}''", pluginDir.toString());
  • trunk/src/org/openstreetmap/josm/plugins/PluginHandler.java

    r14121 r14149  
    5555import org.openstreetmap.josm.Main;
    5656import org.openstreetmap.josm.actions.RestartAction;
     57import org.openstreetmap.josm.data.Preferences;
    5758import org.openstreetmap.josm.data.PreferencesUtils;
    5859import org.openstreetmap.josm.data.Version;
     
    535536        }
    536537        if (NetworkManager.isOffline(OnlineResource.JOSM_WEBSITE)) {
    537             for (String updateSite : Main.pref.getPluginSites()) {
     538            for (String updateSite : Preferences.main().getPluginSites()) {
    538539                try {
    539540                    OnlineResource.JOSM_WEBSITE.checkOfflineAccess(updateSite, Config.getUrls().getJOSMWebsite());
     
    598599        // Update plugin list
    599600        final ReadRemotePluginInformationTask pluginInfoDownloadTask = new ReadRemotePluginInformationTask(
    600                 Main.pref.getOnlinePluginSites());
     601                Preferences.main().getOnlinePluginSites());
    601602        MainApplication.worker.submit(pluginInfoDownloadTask);
    602603
     
    743744    private static void extendJoinedPluginResourceCL(Collection<PluginInformation> plugins) {
    744745        // iterate all plugins and collect all libraries of all plugins:
    745         File pluginDir = Main.pref.getPluginsDirectory();
     746        File pluginDir = Preferences.main().getPluginsDirectory();
    746747        DynamicURLClassLoader cl = getJoinedPluginResourceCL();
    747748
     
    10761077            ReadRemotePluginInformationTask task1 = new ReadRemotePluginInformationTask(
    10771078                    monitor.createSubTaskMonitor(1, false),
    1078                     Main.pref.getOnlinePluginSites(), displayErrMsg
     1079                    Preferences.main().getOnlinePluginSites(), displayErrMsg
    10791080            );
    10801081            task1.run();
     
    12481249     */
    12491250    public static void installDownloadedPlugins(Collection<PluginInformation> pluginsToLoad, boolean dowarn) {
    1250         File pluginDir = Main.pref.getPluginsDirectory();
     1251        File pluginDir = Preferences.main().getPluginsDirectory();
    12511252        if (!pluginDir.exists() || !pluginDir.isDirectory() || !pluginDir.canWrite())
    12521253            return;
     
    13261327     */
    13271328    public static File findUpdatedJar(String name) {
    1328         File pluginDir = Main.pref.getPluginsDirectory();
     1329        File pluginDir = Preferences.main().getPluginsDirectory();
    13291330        // Find the downloaded file. We have tried to install the downloaded plugins
    13301331        // (PluginHandler.installDownloadedPlugins). This succeeds depending on the platform.
  • trunk/src/org/openstreetmap/josm/plugins/ReadRemotePluginInformationTask.java

    r12846 r14149  
    3131import javax.swing.JScrollPane;
    3232
    33 import org.openstreetmap.josm.Main;
     33import org.openstreetmap.josm.data.Preferences;
    3434import org.openstreetmap.josm.gui.PleaseWaitRunnable;
    3535import org.openstreetmap.josm.gui.progress.NullProgressMonitor;
     
    245245     */
    246246    protected void cachePluginList(String site, String list) {
    247         File pluginDir = Main.pref.getPluginsDirectory();
     247        File pluginDir = Preferences.main().getPluginsDirectory();
    248248        if (!pluginDir.exists() && !pluginDir.mkdirs()) {
    249249            Logging.warn(tr("Failed to create plugin directory ''{0}''. Cannot cache plugin list from plugin site ''{1}''.",
     
    318318        }
    319319
    320         File pluginDir = Main.pref.getPluginsDirectory();
     320        File pluginDir = Preferences.main().getPluginsDirectory();
    321321        for (String site: sites) {
    322322            String printsite = site.replaceAll("%<(.*)>", "");
Note: See TracChangeset for help on using the changeset viewer.