diff options
author | Magnus Henoch <[email protected]> | 2012-08-06 11:16:27 +0100 |
---|---|---|
committer | Henrik Nord <[email protected]> | 2012-08-07 12:09:19 +0200 |
commit | 5db6226178d98141b7d1f5cf792797160710c693 (patch) | |
tree | ecfe3b830ec953b59503ed633abf0cdce74f0b23 /lib/tools/info | |
parent | 24ad2d1d985bbadb28dc8fe9dfee5e33c3bdcbbc (diff) | |
download | otp-5db6226178d98141b7d1f5cf792797160710c693.tar.gz otp-5db6226178d98141b7d1f5cf792797160710c693.tar.bz2 otp-5db6226178d98141b7d1f5cf792797160710c693.zip |
Fix highlighting of atoms ending with a dollar sign
Like this: 'atom$'. In that example, the last single quote should be
recognised as ending the atom. This needs a font-lock workaround
similar to the one for strings.
Diffstat (limited to 'lib/tools/info')
0 files changed, 0 insertions, 0 deletions