Changes between Initial Version and Version 1 of Ticket #9200, comment 8
- Timestamp:
- 2013-10-22T11:03:32+02:00 (12 years ago)
Legend:
- Unmodified
- Added
- Removed
- Modified
-
Ticket #9200, comment 8
initial v1 5 5 } 6 6 }}} 7 {{{(\\d+,)*\\d+}}} no longer matches the JOSM-generated buffer string , I can not change this expression because of internationalization.7 {{{(\\d+,)*\\d+}}} no longer matches the JOSM-generated buffer string after r6320, the exact new format is unknown because of internationalization. 8 8 If we skip the buf.matches checking, then copy-pasted JOSM buffer will be ignored if any text is in buffer - we need a way to know if current text buffer is associated with JOSM object or not (currently it is done by format checking).


