source:
josm/trunk/src/org/openstreetmap/josm/gui/mappaint/StyleSettingGui.java@
13691
Last change on this file since 13691 was 12831, checked in by , 7 years ago | |
---|---|
File size: 410 bytes |
Line | |
---|---|
1 | // License: GPL. For details, see LICENSE file. |
2 | package org.openstreetmap.josm.gui.mappaint; |
3 | |
4 | import javax.swing.JMenu; |
5 | |
6 | /** |
7 | * GUI elements for a {@link StyleSetting} class. |
8 | * @since 12831 |
9 | */ |
10 | public interface StyleSettingGui { |
11 | |
12 | /** |
13 | * Adds the menu entry for the corresponding style setting to the menu |
14 | * @param menu The menu to add the setting to |
15 | */ |
16 | void addMenuEntry(JMenu menu); |
17 | |
18 | } |
Note:
See TracBrowser
for help on using the repository browser.