2018-08-15 04:55:36 +02:00
|
|
|
import re
|
2019-02-02 23:53:31 +01:00
|
|
|
from typing import Any, Dict, List
|
2018-08-15 04:55:36 +02:00
|
|
|
from typing.re import Match
|
2020-06-11 00:54:34 +02:00
|
|
|
|
|
|
|
import markdown
|
2018-08-15 04:55:36 +02:00
|
|
|
from markdown.preprocessors import Preprocessor
|
|
|
|
|
|
|
|
from zerver.lib.emoji import EMOTICON_CONVERSIONS, name_to_codepoint
|
|
|
|
|
|
|
|
REGEXP = re.compile(r'\{emoticon_translations\}')
|
|
|
|
|
2019-04-23 05:50:41 +02:00
|
|
|
TABLE_HTML = """\
|
2018-08-15 04:55:36 +02:00
|
|
|
<table>
|
|
|
|
<thead>
|
|
|
|
<tr>
|
2019-04-23 05:50:41 +02:00
|
|
|
<th>Emoticon</th>
|
|
|
|
<th>Emoji</th>
|
2018-08-15 04:55:36 +02:00
|
|
|
</tr>
|
|
|
|
</thead>
|
|
|
|
<tbody>
|
|
|
|
{body}
|
|
|
|
</tbody>
|
|
|
|
</table>
|
|
|
|
"""
|
|
|
|
|
2019-04-23 05:50:41 +02:00
|
|
|
ROW_HTML = """\
|
2018-08-15 04:55:36 +02:00
|
|
|
<tr>
|
2019-04-23 05:50:41 +02:00
|
|
|
<td><code>{emoticon}</code></td>
|
|
|
|
<td>
|
2018-08-15 04:55:36 +02:00
|
|
|
<img
|
|
|
|
src="/static/generated/emoji/images-google-64/{codepoint}.png"
|
|
|
|
alt="{name}"
|
2018-08-16 23:38:15 +02:00
|
|
|
class="emoji-big">
|
2018-08-15 04:55:36 +02:00
|
|
|
</td>
|
|
|
|
</tr>
|
|
|
|
"""
|
|
|
|
|
|
|
|
class EmoticonTranslationsHelpExtension(markdown.Extension):
|
|
|
|
def extendMarkdown(self, md: markdown.Markdown, md_globals: Dict[str, Any]) -> None:
|
|
|
|
""" Add SettingHelpExtension to the Markdown instance. """
|
|
|
|
md.registerExtension(self)
|
|
|
|
md.preprocessors.add('emoticon_translations', EmoticonTranslation(), '_end')
|
|
|
|
|
|
|
|
|
|
|
|
class EmoticonTranslation(Preprocessor):
|
|
|
|
def run(self, lines: List[str]) -> List[str]:
|
|
|
|
for loc, line in enumerate(lines):
|
|
|
|
match = REGEXP.search(line)
|
|
|
|
if match:
|
|
|
|
text = self.handleMatch(match)
|
|
|
|
lines = lines[:loc] + text + lines[loc+1:]
|
|
|
|
break
|
|
|
|
return lines
|
|
|
|
|
|
|
|
def handleMatch(self, match: Match[str]) -> List[str]:
|
|
|
|
rows = [
|
|
|
|
ROW_HTML.format(emoticon=emoticon,
|
|
|
|
name=name.strip(':'),
|
|
|
|
codepoint=name_to_codepoint[name.strip(':')])
|
|
|
|
for emoticon, name in EMOTICON_CONVERSIONS.items()
|
|
|
|
]
|
2019-04-23 05:50:41 +02:00
|
|
|
body = ''.join(rows).strip()
|
2018-08-15 04:55:36 +02:00
|
|
|
return TABLE_HTML.format(body=body).strip().splitlines()
|
|
|
|
|
|
|
|
def makeExtension(*args: Any, **kwargs: Any) -> EmoticonTranslationsHelpExtension:
|
|
|
|
return EmoticonTranslationsHelpExtension(*args, **kwargs)
|