001 // License: GPL. For details, see LICENSE file. 002 package org.openstreetmap.josm.plugins; 003 004 import org.openstreetmap.josm.gui.preferences.PreferenceSetting; 005 import org.openstreetmap.josm.gui.preferences.PreferenceSettingFactory; 006 007 public class PluginPreferenceFactory implements PreferenceSettingFactory { 008 009 private final PluginProxy plugin; 010 011 public PluginPreferenceFactory(PluginProxy plugin) { 012 this.plugin = plugin; 013 } 014 015 public PreferenceSetting createPreferenceSetting() { 016 return plugin.getPreferenceSetting(); 017 } 018 019 }