mirror of
https://github.com/zyedidia/micro.git
synced 2024-10-27 20:49:47 +03:00
8803d93872
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.
12 lines
1.5 KiB
Plaintext
12 lines
1.5 KiB
Plaintext
syntax "privoxy-action" "\.action$"
|
|
|
|
color brightred "[{[:space:]]\-block([[:space:]{}]|$)"
|
|
color brightgreen "[{[:space:]]\+block([[:space:]{}]|$)"
|
|
|
|
color brightred "-(add-header|change-x-forwarded-for|client-header-filter|client-header-tagger|content-type-overwrite|crunch-client-header|crunch-if-none-match|crunch-incoming-cookies|crunch-outgoing-cookies|crunch-server-header|deanimate-gifs|downgrade-http-version|fast-redirects|filter|force-text-mode|forward-override|handle-as-empty-document|handle-as-image|hide-accept-language|hide-content-disposition|hide-from-header|hide-if-modified-since|hide-referrer|hide-user-agent|limit-connect|overwrite-last-modified|prevent-compression|redirect|server-header-filter|server-header-tagger|session-cookies-only|set-image-blocker)"
|
|
color brightgreen "\+(add-header|change-x-forwarded-for|client-header-filter|client-header-tagger|content-type-overwrite|crunch-client-header|crunch-if-none-match|crunch-incoming-cookies|crunch-outgoing-cookies|crunch-server-header|deanimate-gifs|downgrade-http-version|fast-redirects|filter|force-text-mode|forward-override|handle-as-empty-document|handle-as-image|hide-accept-language|hide-content-disposition|hide-from-header|hide-if-modified-since|hide-referrer|hide-user-agent|limit-connect|overwrite-last-modified|prevent-compression|redirect|server-header-filter|server-header-tagger|session-cookies-only|set-image-blocker)"
|
|
color magenta "\\.?"
|
|
color brightblack "(^|[[:space:]])#([^{].*)?$"
|
|
color ,green "[[:space:]]+$"
|
|
color ,red " + +| + +"
|