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

Unicode characters in CSS properties #1227

Merged
merged 6 commits into from
Nov 20, 2017
Merged

Unicode characters in CSS properties #1227

merged 6 commits into from
Nov 20, 2017

Commits on Nov 20, 2017

  1. Unicode characters in CSS properties

    Highlight Unicode characters in CSS properties correctly, for example “.foo { --bär: 3 }”.
    
    Optimized the “function” regex in the JavaScript definition: replaced “_a-zA-Z0-9” with “\w”, removed uppercase “A-Z” because the “i” flag is set.
    
    Used that regex for CSS but removed “$” and added “-”.
    valtlai committed Nov 20, 2017
    Configuration menu
    Copy the full SHA
    77b9774 View commit details
    Browse the repository at this point in the history
  2. Add a test

    valtlai committed Nov 20, 2017
    Configuration menu
    Copy the full SHA
    2d30b7b View commit details
    Browse the repository at this point in the history
  3. Add minified versions

    valtlai committed Nov 20, 2017
    Configuration menu
    Copy the full SHA
    286f696 View commit details
    Browse the repository at this point in the history
  4. Update prism.js

    valtlai committed Nov 20, 2017
    Configuration menu
    Copy the full SHA
    241464b View commit details
    Browse the repository at this point in the history
  5. Revert "Update prism.js"

    This reverts commit 241464b.
    valtlai committed Nov 20, 2017
    Configuration menu
    Copy the full SHA
    fa5c374 View commit details
    Browse the repository at this point in the history
  6. Update prism.js too

    valtlai committed Nov 20, 2017
    Configuration menu
    Copy the full SHA
    2889742 View commit details
    Browse the repository at this point in the history