Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Fix: Issues with .properties format using whitespace delimited key #2241

Merged
merged 5 commits into from
Sep 25, 2022

Conversation

jmzambon
Copy link
Contributor

Added:

  • support for space delimitor in every case, included multiline value
  • check for odd number of backslash escapes
  • "!" as comment start
  • support for escape of spaces and separators

Dropped:

  • undocumented ";" and "//" comment start

…limited key

Added:
- support for space delimitor in every case, included multiline value
- check for odd number of backslash escapes
- "!" as comment start
- support for escape of spaces and separators
Dropped:
- undocumented ";" and "//" comment start
@jmzambon jmzambon marked this pull request as draft September 18, 2022 17:27
@jmzambon jmzambon marked this pull request as ready for review September 18, 2022 20:47
@jmzambon jmzambon changed the title Fix #2224: Issues with .properties format using whitespace delimited key Fix: Issues with .properties format using whitespace delimited key Sep 18, 2022
pygments/lexers/configs.py Outdated Show resolved Hide resolved
See Jean-Abou-Samra comment here: pygments#2241 (comment).
@jeanas jeanas merged commit a38cb38 into pygments:master Sep 25, 2022
@jeanas
Copy link
Contributor

jeanas commented Sep 25, 2022

Thanks!

@Anteru Anteru added this to the 2.14.0 milestone Dec 30, 2022
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
None yet
Projects
None yet
Development

Successfully merging this pull request may close these issues.

3 participants