mirror of
https://github.com/zyedidia/micro.git
synced 2026-02-21 22:40:21 +09:00
c29e58e3d4
* Adds new syntax groups and docs * Large refactor of syntax highlighting files * Changed keybindings for changing tabs. * Improved the documentation. * Added F3 for find to default bindings. * Massive overhaul of the syntax files * Phase 1 color-scheme updates. * The new colorschemes. * Colorscheme and syntax updates. * Tiny fix to the cmc theme. * Another phase of colorschemes and testing gitconfig. * Fixed haskell error * Fortran fix * Delete test.txt Heh, sorry about forgetting to do this again.
12 lines
1.6 KiB
Plaintext
12 lines
1.6 KiB
Plaintext
syntax "privoxy-action" "\.action$"
|
|
|
|
color constant.bool.false "[{[:space:]]\-block([[:space:]{}]|$)"
|
|
color constant.bool.true "[{[:space:]]\+block([[:space:]{}]|$)"
|
|
|
|
color constant.bool.false "-(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 constant.bool.true "\+(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 constant.specialChar "\\.?"
|
|
color comment "(^|[[:space:]])#([^{].*)?$"
|
|
color indent-char.whitespace "[[:space:]]+$"
|
|
color indent-char " + +| + +"
|