diff options
author | patdenice <patdenice@piwigo.org> | 2011-04-12 11:12:51 +0000 |
---|---|---|
committer | patdenice <patdenice@piwigo.org> | 2011-04-12 11:12:51 +0000 |
commit | a740ef91e6689f86011b70c7bbe2589abf78ae6b (patch) | |
tree | bb4a6deb7395b0f545bb760cf34f093e910f1cff /plugins/LocalFilesEditor/editarea/reg_syntax/html.js | |
parent | bb7c28f86febddd376ee0400807507991a2d7b48 (diff) |
feature:2262
Replace editarea by Codemirror:
http://codemirror.net
git-svn-id: http://piwigo.org/svn/trunk@10307 68402e56-0260-453c-a942-63ccdbb3a9ee
Diffstat (limited to 'plugins/LocalFilesEditor/editarea/reg_syntax/html.js')
-rw-r--r-- | plugins/LocalFilesEditor/editarea/reg_syntax/html.js | 51 |
1 files changed, 0 insertions, 51 deletions
diff --git a/plugins/LocalFilesEditor/editarea/reg_syntax/html.js b/plugins/LocalFilesEditor/editarea/reg_syntax/html.js deleted file mode 100644 index 66490b171..000000000 --- a/plugins/LocalFilesEditor/editarea/reg_syntax/html.js +++ /dev/null @@ -1,51 +0,0 @@ -/* -* last update: 2006-08-24 -*/ - -editAreaLoader.load_syntax["html"] = { - 'DISPLAY_NAME' : 'HTML' - ,'COMMENT_SINGLE' : {} - ,'COMMENT_MULTI' : {'<!--' : '-->'} - ,'QUOTEMARKS' : {1: "'", 2: '"'} - ,'KEYWORD_CASE_SENSITIVE' : false - ,'KEYWORDS' : { - } - ,'OPERATORS' :[ - ] - ,'DELIMITERS' :[ - ] - ,'REGEXPS' : { - 'doctype' : { - 'search' : '()(<!DOCTYPE[^>]*>)()' - ,'class' : 'doctype' - ,'modifiers' : '' - ,'execute' : 'before' // before or after - } - ,'tags' : { - 'search' : '(<)(/?[a-z][^ \r\n\t>]*)([^>]*>)' - ,'class' : 'tags' - ,'modifiers' : 'gi' - ,'execute' : 'before' // before or after - } - ,'attributes' : { - 'search' : '( |\n|\r|\t)([^ \r\n\t=]+)(=)' - ,'class' : 'attributes' - ,'modifiers' : 'g' - ,'execute' : 'before' // before or after - } - } - ,'STYLES' : { - 'COMMENTS': 'color: #AAAAAA;' - ,'QUOTESMARKS': 'color: #6381F8;' - ,'KEYWORDS' : { - } - ,'OPERATORS' : 'color: #E775F0;' - ,'DELIMITERS' : '' - ,'REGEXPS' : { - 'attributes': 'color: #B1AC41;' - ,'tags': 'color: #E62253;' - ,'doctype': 'color: #8DCFB5;' - ,'test': 'color: #00FF00;' - } - } -}; |