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}