IntenseWebs/sphinx
3
0
Fork 0
mirror of https://github.com/sphinx-doc/sphinx.git synced 2025-02-25 18:55:22 -06:00
Code Issues Packages Projects Releases Wiki Activity

Merge pull request #7016 from tk0miya/7006_MenuSelection_BULLET_CHARACTER

Browse Source 
refactor: Make a bullet character for :menuselection: a constant
This commit is contained in:
Takeshi KOMIYA 2020-01-19 23:07:33 +09:00 committed by GitHub
commit 334d23f880
No known key found for this signature in database
GPG Key ID: 4AEE18F83AFDEB23
1 changed files with 3 additions and 1 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

4
sphinx/roles.py
View File

@ -394,8 +394,10 @@ class GUILabel(SphinxRole):
class MenuSelection(GUILabel):
BULLET_CHARACTER = '\N{TRIANGULAR BULLET}'
def run(self) -> Tuple[List[Node], List[system_message]]:
self.text = self.text.replace('-->', '\N{TRIANGULAR BULLET}')
self.text = self.text.replace('-->', self.BULLET_CHARACTER)
return super().run()