Changes between Initial Version and Version 1 of Ticket #20849, comment 2
- Timestamp:
- 2022-11-22T14:38:41+01:00 (17 months ago)
Legend:
- Unmodified
- Added
- Removed
- Modified
-
Ticket #20849, comment 2
initial v1 5 5 I'll do a bit more debugging tomorrow to see if there is a "better" way to do it. 6 6 7 {{{#! diff7 {{{#!comment 8 8 Index: src/org/openstreetmap/josm/gui/preferences/SourceEditor.java 9 9 ===================================================================