gui tags should get some different markup
Submitted by Christian Stadelmann
Link to original bug (#752699)
Description
Currently, gui tags can barely be distinguished from ordinary text. The only noticable difference is capitalization (which is done in source code). This is a problem especially in languages where capitalization is different:
- In languages like German all nouns are capitalized (starting with an uppercase letter).
- In languages without an alphabet (most east asian languages) capitalization does not exist
In both cases it is hard to distinguish text words from user interface words. Can you please add some markup to the "gui" tag in mallard? A different background color and a small border around the text would do.
Version: 3.16.x