From f723bdf9d99062b78d331dc1c43405e70721f1fe Mon Sep 17 00:00:00 2001 From: Kovid Goyal Date: Mon, 8 May 2017 16:52:08 +0530 Subject: [PATCH] Smarten the right arrows used inside :guilabel: --- manual/custom.py | 8 ++++++++ 1 file changed, 8 insertions(+) diff --git a/manual/custom.py b/manual/custom.py index bcaf5c46ae..431dc279a0 100644 --- a/manual/custom.py +++ b/manual/custom.py @@ -330,7 +330,14 @@ def add_html_context(app, pagename, templatename, context, *args): context['search_box_text'] = cli_index_strings()[6] +def guilabel_role(typ, rawtext, text, *args, **kwargs): + from sphinx.roles import menusel_role + text = text.replace(u'->', u'\N{THIN SPACE}\N{RIGHTWARDS ARROW}\N{THIN SPACE}') + return menusel_role(typ, rawtext, text, *args, **kwargs) + + def setup(app): + from docutils.parsers.rst import roles app.add_builder(EPUBHelpBuilder) app.add_builder(LaTeXHelpBuilder) app.connect('source-read', source_read_handler) @@ -338,6 +345,7 @@ def setup(app): app.connect('builder-inited', generate_docs) app.connect('html-page-context', add_html_context) app.connect('build-finished', finished) + roles.register_local_role('guilabel', guilabel_role) def finished(app, exception):