001// License: GPL. For details, see LICENSE file. 002package org.openstreetmap.josm.gui.preferences.plugin; 003 004/** 005 * Plugin installation status, used to filter plugin preferences model. 006 * @since 13799 007 */ 008public enum PluginInstallation { 009 /** Plugins installed and loaded **/ 010 INSTALLED, 011 /** Plugins not loaded **/ 012 AVAILABLE, 013 /** All plugins **/ 014 ALL 015}