mirror of
https://github.com/zyedidia/micro.git
synced 2026-03-07 13:20:21 +09:00
Make all filetype names lowercase
This may be a breaking change if you are using a plugin that checks the filetype. All the default plugins are now updated, just make the filetype you were checking for previously all lowercase.
This commit is contained in:
@@ -1,4 +1,4 @@
|
||||
syntax "JavaScript" "\.js$"
|
||||
syntax "javascript" "\.js$"
|
||||
|
||||
color blue "\b[-+]?([1-9][0-9]*|0[0-7]*|0x[0-9a-fA-F]+)([uU][lL]?|[lL][uU]?)?\b"
|
||||
color blue "\b[-+]?([0-9]+\.[0-9]*|[0-9]*\.[0-9]+)([EePp][+-]?[0-9]+)?[fFlL]?"
|
||||
|
||||
Reference in New Issue
Block a user