Changeset 8836 in josm for trunk/src/org/openstreetmap/josm/gui/mappaint/ElemStyle.java
- Timestamp:
- 2015-10-08T00:22:36+02:00 (9 years ago)
- File:
-
- 1 edited
Legend:
- Unmodified
- Added
- Removed
-
trunk/src/org/openstreetmap/josm/gui/mappaint/ElemStyle.java
r8510 r8836 132 132 public int size; 133 133 134 publicFontDescriptor(String name, int style, int size) {134 FontDescriptor(String name, int style, int size) { 135 135 this.name = name; 136 136 this.style = style;
Note:
See TracChangeset
for help on using the changeset viewer.