Changeset 7761 in josm for trunk/src/org/openstreetmap
- Timestamp:
- 2014-12-03T13:27:59+01:00 (9 years ago)
- File:
-
- 1 edited
Legend:
- Unmodified
- Added
- Removed
-
trunk/src/org/openstreetmap/josm/gui/mappaint/mapcss/MapCSSParser.jj
r7277 r7761 133 133 | < UINT: ["1"-"9"] ( ["0"-"9"] )* > 134 134 | < STRING: "\"" ( [" ","!","#"-"[","]"-"~","\u0080"-"\uFFFF"] | "\\\"" | "\\\\" )* "\"" > 135 | < #PREDEFINED: "\\" ["d","D","s","S","w","W" ] >135 | < #PREDEFINED: "\\" ["d","D","s","S","w","W","b","B","A","G","Z","z"] > 136 136 | < #REGEX_CHAR_WITHOUT_STAR: [" "-")","+"-".","0"-"[","]"-"~","\u0080"-"\uFFFF"] | "\\/" | "\\\\" | "\\[" | "\\]" | "\\+" | "\\." | "\\'" | "\\\"" | "\\(" | "\\)" |<PREDEFINED> > 137 137 | < REGEX: "/" <REGEX_CHAR_WITHOUT_STAR> ( <REGEX_CHAR_WITHOUT_STAR> | "*" )* "/" >
Note:
See TracChangeset
for help on using the changeset viewer.