Changeset 17314 in josm for trunk/src/org/openstreetmap/josm/gui/widgets

Timestamp:

2020-11-16T16:45:58+01:00 (3 years ago)

Author:

Don-vip

Message:

see #7548 - make clear which preferences settings allow new tabs from plugins. Make color preferences extensible. Hide tab area if a single tab is defined.

File:

• trunk/src/org/openstreetmap/josm/gui/widgets/HideableTabbedPane.java (added)