// License: GPL. For details, see LICENSE file.

/**
 * Provides GUI widgets customized for JOSM needs.
 */
package org.openstreetmap.josm.gui.widgets;