From a80441df148c1056837dc1490ae8d42ec9b5ca6a Mon Sep 17 00:00:00 2001 From: Michele Calgaro Date: Mon, 27 Jan 2014 00:58:53 +0900 Subject: [PATCH] Kate syntax highlight files update - Jan 2014 (cherry picked from commit 11e927c557a33c6cd331c39227bb64a1ed900119) --- kate/data/cmake.xml | 20 +- kate/data/cpp11.xml | 33 +- kate/data/css.xml | 1513 +++++++++++++++++++----------------- kate/data/rest.xml | 40 +- kate/data/update-files.xml | 8 +- 5 files changed, 894 insertions(+), 720 deletions(-) diff --git a/kate/data/cmake.xml b/kate/data/cmake.xml index 07a6a00d4..7bec01e11 100644 --- a/kate/data/cmake.xml +++ b/kate/data/cmake.xml @@ -5,7 +5,7 @@ Copyright 2004 Alexander Neundorf (neundorf@kde.org) Copyright 2005 Dominik Haumann (dhdev@gmx.de) - Copyright 2007,2008 Matthew Woehlke (mw_triad@users.sourceforge.net) + Copyright 2007,2008,2013 Matthew Woehlke (mw_triad@users.sourceforge.net) Copyright 2013 Alex Turbov (i.zaufi@gmail.com) ********************************************************************** @@ -26,7 +26,7 @@ ********************************************************************** --> - + @@ -783,6 +783,7 @@ TARGET_LINKER_DIR TARGET_SONAME_DIR TARGET_PROPERTY + TARGET_OBJECTS TARGET_POLICY AND OR @@ -815,6 +816,8 @@ + + @@ -900,6 +903,7 @@ + @@ -909,12 +913,24 @@ + + + + + + + + + + + + diff --git a/kate/data/cpp11.xml b/kate/data/cpp11.xml index 5e6b16f0b..aff71c10e 100644 --- a/kate/data/cpp11.xml +++ b/kate/data/cpp11.xml @@ -11,7 +11,7 @@ + noreturn carries_dependency + + deprecated @@ -295,18 +298,16 @@ - - - + - + - + + - - - + + + @@ -319,6 +320,8 @@ + + @@ -405,9 +408,11 @@ - - - + + + + + @@ -567,9 +572,11 @@ + + diff --git a/kate/data/css.xml b/kate/data/css.xml index d6a53c963..d2c651681 100644 --- a/kate/data/css.xml +++ b/kate/data/css.xml @@ -1,709 +1,824 @@ - - - -]> + - - - - - - azimuth - background - background-attachment - background-color - background-image - background-position - background-repeat - border - border-bottom - border-bottom-color - border-bottom-style - border-bottom-width - border-collapse - border-color - border-left - border-left-color - border-left-style - border-left-width - border-right - border-right-color - border-right-style - border-right-width - border-spacing - border-style - border-top - border-top-color - border-top-style - border-top-width - border-width - bottom - caption-side - clear - clip - color - content - counter-increment - counter-reset - cue - cue-after - cue-before - cursor - direction - display - elevation - empty-cells - float - font - font-family - font-size - font-size-adjust - font-stretch - font-style - font-variant - font-weight - height - left - letter-spacing - line-height - list-style - list-style-image - list-style-keyword - list-style-position - list-style-type - margin - margin-bottom - margin-left - margin-right - margin-top - marker-offset - max-height - max-width - min-height - min-width - orphans - outline - outline-color - outline-style - outline-width - overflow - padding - padding-bottom - padding-left - padding-right - padding-top - page - page-break-after - page-break-before - page-break-inside - pause - pause-after - pause-before - pitch - pitch-range - play-during - position - quotes - richness - right - size - speak - speak-header - speak-numeral - speak-punctuation - speech-rate - stress - table-layout - text-align - text-decoration - text-decoration-color - text-indent - text-shadow - text-transform - top - unicode-bidi - vertical-align - visibility - voice-family - volume - white-space - widows - width - word-spacing - z-index - - - border-bottom-image - border-bottom-left-image - border-bottom-left-radius - border-bottom-right-image - border-bottom-right-radius - border-corner-image - border-image - border-left-image - border-radius - border-right-image - border-top-image - border-top-left-image - border-top-left-radius - border-top-right-image - border-top-right-radius - box-shadow - box-sizing - opacity - outline-offset - overflow-x - overflow-y - text-overflow - text-shadow - - - -moz-border-bottom-colors - -moz-border-left-colors - -moz-border-radius - -moz-border-right-colors - -moz-border-top-colors - -moz-box-flex - - - -o-background-size - -o-text-overflow - - - -khtml-background-size - konq_bgpos_x - konq_bgpos_y - - - -webkit-background-size - - - font-family - font-size - font-stretch - font-style - font-variant - font-weight - unicode-range - units-per-em - src - panose-1 - stemv - stemh - slope - cap-height - x-height - ascent - descent - widths - bbox - definition-src - baseline - centerline - mathline - topline - - - - inherit - none - hidden - dotted - dashed - solid - double - groove - ridge - inset - outset - xx-small - x-small - small - medium - large - x-large - xx-large - smaller - larger - italic - oblique - small-caps - normal - bold - bolder - lighter - light - 100 - 200 - 300 - 400 - 500 - 600 - 700 - 800 - 900 - transparent - repeat - repeat-x - repeat-y - no-repeat - baseline - sub - super - top - text-top - middle - bottom - text-bottom - left - right - center - justify - konq-center - disc - circle - square - box - decimal - decimal-leading-zero - lower-roman - upper-roman - lower-greek - lower-alpha - lower-latin - upper-alpha - upper-latin - hebrew - armenian - georgian - cjk-ideographic - hiragana - katakana - hiragana-iroha - katakana-iroha - inline - inline-block - block - list-item - run-in - compact - marker - table - inline-table - table-row-group - table-header-group - table-footer-group - table-row - table-column-group - table-column - table-cell - table-caption - auto - crosshair - default - pointer - move - e-resize - ne-resize - nw-resize - n-resize - se-resize - sw-resize - s-resize - w-resize - text - wait - help - above - absolute - always - avoid - below - bidi-override - blink - both - capitalize - caption - clip - close-quote - collapse - condensed - crop - cross - ellipsis - ellipsis-word - embed - expanded - extra-condensed - extra-expanded - fixed - hand - hide - higher - icon - inside - invert - landscape - level - line-through - loud - lower - lowercase - ltr - menu - message-box - mix - narrower - no-close-quote - no-open-quote - nowrap - open-quote - outside - overline - portrait - pre - pre-line - pre-wrap - relative - rtl - scroll - semi-condensed - semi-expanded - separate - show - small-caption - static - static-position - status-bar - thick - thin - ultra-condensed - ultra-expanded - underline - uppercase - visible - wider - break - serif - sans-serif - cursive - fantasy - monospace - border-box - content-box - - - -moz-box - - - - - - aqua - black - blue - cyan - fuchsia - gray - green - lime - maroon - navy - olive - purple - red - silver - teal - white - yellow - ActiveBorder - ActiveCaption - AppWorkspace - Background - ButtonFace - ButtonHighlight - ButtonShadow - ButtonText - CaptionText - GrayText - Highlight - HighlightText - InactiveBorder - InactiveCaption - InactiveCaptionText - InfoBackground - InfoText - Menu - MenuText - Scrollbar - ThreeDDarkShadow - ThreeDFace - ThreeDHighlight - ThreeDLightShadow - ThreeDShadow - Window - WindowFrame - WindowText - - - - url - attr - rect - rgb - rgba - hsl - hsla - counter - counters - - - local - format - - - expression - - - - - all - aural - braille - embossed - handheld - print - projection - screen - tty - tv - - - - hover - link - visited - active - focus - first-child - last-child - only-child - first-of-type - last-of-type - only-of-type - first-letter - first-line - before - after - selection - root - empty - target - enabled - disabled - checked - indeterminate - nth-child - nth-last-child - nth-of-type - nth-last-of-type - not - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - + + + + + + azimuth + background + background-attachment + background-break + background-clip + background-color + background-image + background-position + background-origin + background-repeat + border + border-bottom + border-bottom-color + border-bottom-style + border-bottom-width + border-collapse + border-color + border-left + border-left-color + border-left-style + border-left-width + border-right + border-right-color + border-right-style + border-right-width + border-spacing + border-style + border-top + border-top-color + border-top-style + border-top-width + border-width + bottom + caption-side + clear + clip + color + content + counter-increment + counter-reset + cue + cue-after + cue-before + cursor + direction + display + elevation + empty-cells + float + font + font-family + font-size + font-size-adjust + font-stretch + font-style + font-variant + font-weight + font-stretch + height + left + letter-spacing + line-height + list-style + list-style-image + list-style-keyword + list-style-position + list-style-type + margin + margin-bottom + margin-left + margin-right + margin-top + marker-offset + max-height + max-width + min-height + min-width + orphans + outline + outline-color + outline-style + outline-width + overflow + padding + padding-bottom + padding-left + padding-right + padding-top + page + page-break-after + page-break-before + page-break-inside + pause + pause-after + pause-before + pitch + pitch-range + play-during + position + quotes + richness + right + size + speak + speak-header + speak-numeral + speak-punctuation + speech-rate + stress + table-layout + text-align + text-decoration + text-decoration-color + text-indent + text-shadow + text-transform + top + unicode-bidi + vertical-align + visibility + voice-family + volume + white-space + widows + width + word-spacing + z-index + + + animation-name + animation-duration + animation-iteration + animation-direction + animation-delay + animation-play-state + animation-fill-mode + animation-timing-function + background-size + border-bottom-image + border-bottom-left-image + border-bottom-left-radius + border-bottom-right-image + border-bottom-right-radius + border-collapse + border-corner-image + border-image + border-left-image + border-radius + border-right-image + border-top-image + border-top-left-image + border-top-left-radius + border-top-right-image + border-top-right-radius + box-align + box-direction + box-flex + box-shadow + box-sizing + column-count + column-fill + column-gap + column-rule-color + column-rule-style + column-rule-width + column-span + column-wisth + hyphens + linear-gradient + opacity + outline + outline-offset + overflow-x + overflow-y + pointer-events + resize + rotation + rotation-point + table-layout + text-overflow + text-shadow + text-wrap + transform-origin + transition + transition-property + transition-duration + word-wrap + + + -moz-animation-name + -moz-animation-duration + -moz-animation-iteration + -moz-animation-direction + -moz-animation-delay + -moz-animation-play-state + -moz-animation-fill-mode + -moz-background-size + -moz-border-image + -moz-border-bottom-colors + -moz-border-left-colors + -moz-border-radius + -moz-border-radius-topleft + -moz-border-radius-topright + -moz-border-radius-bottomleft + -moz-border-radius-bottomright + -moz-border-right-colors + -moz-border-top-colors + -moz-box + -moz-box-flex + -moz-box-shadow + -moz-box-sizing + -moz-column-count + -moz-column-gap + -moz-hyphens + -moz-linear-gradient + -moz-opacity + -moz-outline-style + -moz-perspective + -moz-radial-gradient + -moz-resize + -moz-transform + -moz-transform-origin + -moz-transform-style + -moz-transition + -moz-transition-property + -moz-transition-duration + + + -o-background-size + -o-linear-gradient + -o-text-overflow + -o-transition + -o-transform-origin + + + konq_bgpos_x + konq_bgpos_y + -khtml-background-size + -khtml-border-top-left-radius + -khtml-border-top-right-radius + -khtml-border-bottom-left-radius + -khtml-border-bottom-right-radius + -khtml-border-radius + -khtml-box-shadow + -khtml-opacity + + + -webkit-appearance + -webkit-animation-name + -webkit-animation-duration + -webkit-animation-iteration + -webkit-animation-direction + -webkit-animation-delay + -webkit-animation-play-state + -webkit-animation-fill-mode + -webkit-background-size + -webkit-border-image + -webkit-border-bottom-colors + -webkit-border-left-colors + -webkit-border-radius + -webkit-border-right-colors + -webkit-border-top-colors + -webkit-border-top-left-radius + -webkit-border-top-right-radius + -webkit-border-bottom-left-radius + -webkit-border-bottom-right-radius + -webkit-border-radius-bottomleft + -webkit-border-radius-bottomright + -webkit-box-flex + -webkit-box-reflect + -webkit-box-shadow + -webkit-box-sizing + -webkit-column-count + -webkit-column-gap + -webkit-hyphens + -webkit-linear-gradient + -webkit-gradient + -webkit-perspective + -webkit-text-fill-color + -webkit-text-stroke-color + -webkit-text-stroke-width + -webkit-text-size-adjust + -webkit-transform + -webkit-transform-origin + -webkit-transform-style + -webkit-transition + -webkit-transition-property + -webkit-transition-duration + + + filter + zoom + -ms-animation-name + -ms-animation-duration + -ms-animation-iteration + -ms-animation-direction + -ms-animation-delay + -ms-animation-play-state + -ms-animation-fill-mode + -ms-box-sizing + -ms-filter + -ms-interpolation-mode + -ms-linear-gradient + -ms-text-size-adjust + -ms-transform + -ms-transition + + + font-family + font-size + font-stretch + font-style + font-variant + font-weight + unicode-range + units-per-em + src + panose-1 + stemv + stemh + slope + cap-height + x-height + ascent + descent + widths + bbox + definition-src + baseline + centerline + mathline + topline + + + + inherit + none + hidden + dotted + dashed + solid + double + groove + ridge + inset + outset + xx-small + x-small + small + medium + large + x-large + xx-large + smaller + larger + italic + oblique + small-caps + normal + bold + bolder + lighter + light + 100 + 200 + 300 + 400 + 500 + 600 + 700 + 800 + 900 + transparent + repeat + repeat-x + repeat-y + no-repeat + baseline + sub + super + top + text-top + middle + bottom + text-bottom + left + right + center + justify + konq-center + disc + circle + square + box + decimal + decimal-leading-zero + lower-roman + upper-roman + lower-greek + lower-alpha + lower-latin + upper-alpha + upper-latin + hebrew + armenian + georgian + cjk-ideographic + hiragana + katakana + hiragana-iroha + katakana-iroha + inline + inline-block + block + list-item + run-in + compact + marker + table + inline-table + table-row-group + table-header-group + table-footer-group + table-row + table-column-group + table-column + table-cell + table-caption + auto + crosshair + default + pointer + move + e-resize + ne-resize + nw-resize + n-resize + se-resize + sw-resize + s-resize + w-resize + text + wait + help + above + absolute + always + avoid + below + bidi-override + blink + both + capitalize + caption + clip + close-quote + collapse + condensed + crop + cross + ellipsis + ellipsis-word + embed + expanded + extra-condensed + extra-expanded + fixed + hand + hide + higher + icon + inside + invert + landscape + level + line-through + loud + lower + lowercase + ltr + menu + message-box + mix + narrower + no-close-quote + no-open-quote + nowrap + open-quote + outside + overline + portrait + pre + pre-line + pre-wrap + relative + rtl + scroll + semi-condensed + semi-expanded + separate + show + small-caption + static + static-position + status-bar + thick + thin + ultra-condensed + ultra-expanded + underline + uppercase + visible + wider + break + serif + sans-serif + cursive + fantasy + monospace + border-box + content-box + -epub-hyphens + + + + + aqua + black + blue + cyan + fuchsia + gray + green + lime + maroon + navy + olive + purple + red + silver + teal + white + yellow + ActiveBorder + ActiveCaption + AppWorkspace + Background + ButtonFace + ButtonHighlight + ButtonShadow + ButtonText + CaptionText + GrayText + Highlight + HighlightText + InactiveBorder + InactiveCaption + InactiveCaptionText + InfoBackground + InfoText + Menu + MenuText + Scrollbar + ThreeDDarkShadow + ThreeDFace + ThreeDHighlight + ThreeDLightShadow + ThreeDShadow + Window + WindowFrame + WindowText + + + + url + attr + rect + rgb + rgba + hsl + hsla + counter + counters + + + local + format + + + expression + + + + + all + aural + braille + embossed + handheld + print + projection + screen + tty + tv + + + + hover + link + visited + active + focus + first-child + last-child + only-child + first-of-type + last-of-type + only-of-type + first-letter + first-line + before + after + selection + root + empty + target + enabled + disabled + checked + indeterminate + nth-child + nth-last-child + nth-of-type + nth-last-of-type + not + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + diff --git a/kate/data/rest.xml b/kate/data/rest.xml index ad7900c41..2e6b55b0f 100644 --- a/kate/data/rest.xml +++ b/kate/data/rest.xml @@ -6,7 +6,7 @@ ]> - + @@ -21,24 +21,56 @@ + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + - + @@ -51,6 +83,10 @@ + + + + diff --git a/kate/data/update-files.xml b/kate/data/update-files.xml index 3fa7bf3e5..9884a9e71 100644 --- a/kate/data/update-files.xml +++ b/kate/data/update-files.xml @@ -32,18 +32,18 @@ - + - + - + @@ -161,7 +161,7 @@ - +