diff options
| author | James Moger <james.moger@gitblit.com> | 2011-04-07 09:46:30 -0400 |
|---|---|---|
| committer | James Moger <james.moger@gitblit.com> | 2011-04-07 09:46:30 -0400 |
| commit | cebf455f3fd54b72e530942f308097ec54b408cd (patch) | |
| tree | 081f6c6235157fbf8cc004a292b3112a1238d80d /src/com/gitblit/wicket/pages/prettify/lang-hs.js | |
| parent | 7ba0ec1e871a1f7b5a40b3272e860ade13038e95 (diff) | |
| download | gitblit-cebf455f3fd54b72e530942f308097ec54b408cd.tar.gz gitblit-cebf455f3fd54b72e530942f308097ec54b408cd.zip | |
Let Wicket manage resources and use markup inheritance.
This seems to improve page loading times.
Diffstat (limited to 'src/com/gitblit/wicket/pages/prettify/lang-hs.js')
| -rw-r--r-- | src/com/gitblit/wicket/pages/prettify/lang-hs.js | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/src/com/gitblit/wicket/pages/prettify/lang-hs.js b/src/com/gitblit/wicket/pages/prettify/lang-hs.js new file mode 100644 index 00000000..00cea7cf --- /dev/null +++ b/src/com/gitblit/wicket/pages/prettify/lang-hs.js @@ -0,0 +1,2 @@ +PR.registerLangHandler(PR.createSimpleLexer([["pln",/^[\t\n\x0B\x0C\r ]+/,null,"\t\n\u000b\u000c\r "],["str",/^\"(?:[^\"\\\n\x0C\r]|\\[\s\S])*(?:\"|$)/,null,'"'],["str",/^\'(?:[^\'\\\n\x0C\r]|\\[^&])\'?/,null,"'"],["lit",/^(?:0o[0-7]+|0x[\da-f]+|\d+(?:\.\d+)?(?:e[+\-]?\d+)?)/i,null,"0123456789"]],[["com",/^(?:(?:--+(?:[^\r\n\x0C]*)?)|(?:\{-(?:[^-]|-+[^-\}])*-\}))/],["kwd",/^(?:case|class|data|default|deriving|do|else|if|import|in|infix|infixl|infixr|instance|let|module|newtype|of|then|type|where|_)(?=[^a-zA-Z0-9\']|$)/, +null],["pln",/^(?:[A-Z][\w\']*\.)*[a-zA-Z][\w\']*/],["pun",/^[^\t\n\x0B\x0C\r a-zA-Z0-9\'\"]+/]]),["hs"])
\ No newline at end of file |