📄 dbk2htm.py
字号:
from match import Matchimport stringclass dbk2htm_conversion: mapping = { "<screen>" : "<pre>", "</screen>" : "</pre>", "<para>" : "<p>", "</para>" : "</p>" , "<function>" : "<link>", "</function>" : "</link>" } def __init__(self): pass def section2html(self, text): for str in self.mapping: text = string.replace(text, str, self.mapping[str]) return text def paramdef2html(self, text): s = Match() txt = text & s(r"\s+<paramdef>") >> r"\n<nobr>" txt &= s(r"<paramdef>") >> r"<nobr>" txt &= s(r"</paramdef>") >> r"</nobr>" txt &= s(r"<parameters>") >> r"\n <code>" txt &= s(r"</parameters>") >> r"</code>\n" return txtdef section2html(text): return dbk2htm_conversion().section2html(text)def paramdef2html(text): return dbk2htm_conversion().paramdef2html(text)
⌨️ 快捷键说明
复制代码
Ctrl + C
搜索代码
Ctrl + F
全屏模式
F11
切换主题
Ctrl + Shift + D
显示快捷键
?
增大字号
Ctrl + =
减小字号
Ctrl + -