From 2e5784412ef8fa1f71f85cb1ed6d7206ac2776d7 Mon Sep 17 00:00:00 2001 From: Reinder Feenstra Date: Sun, 2 Jun 2024 12:22:11 +0200 Subject: [PATCH] luadoc: added menu to left sidebar --- manual/buildluadoc.py | 25 +++++++-- .../css/traintasticmanual.css | 51 ++++++++++++------- .../htmlsinglepage.py | 2 +- 3 files changed, 57 insertions(+), 21 deletions(-) diff --git a/manual/buildluadoc.py b/manual/buildluadoc.py index 9a8db19c..512b4821 100755 --- a/manual/buildluadoc.py +++ b/manual/buildluadoc.py @@ -796,7 +796,7 @@ class LuaDoc: LuaDoc._write_file(os.path.join(output_dir, LuaDoc.FILENAME_INDEX_AZ), html) def _add_toc(self, html: str) -> str: - toc = '
' + self._get_term('contents') + '' + toc = '
' + self._get_term('contents') + '' current_depth = 0 for tag, id, title in re.findall(r'<(h2|h3|dt) id="(.+?)">(.+?)', html): @@ -819,6 +819,19 @@ class LuaDoc: return html.replace('', toc) def _get_header(self, title: str, nav: list) -> str: + menu = '
  • ' + self._get_term('globals:title') + '
    • ' + os.linesep + for k in sorted(list(self._libs.keys()) + ['enum', 'set']): + if k == 'enum': + menu += '
  • ' + self._get_term('enum:title') + '
    • ' + os.linesep + elif k == 'set': + menu += '
  • ' + self._get_term('set:title') + '
    • ' + os.linesep + else: + lib = self._libs[k] + menu += '
  • ' + self._get_term(lib['name']) + '
    • ' + os.linesep + menu += '
  • ' + self._get_term('object:title') + '
    • ' + os.linesep + menu += '
  • ' + self._get_term('example:title') + '
    • ' + os.linesep + menu += '
  • ' + self._get_term('index-az:title') + '
    • ' + os.linesep + nav_html = '' if len(nav) > 0: nav_html += '