-
Notifications
You must be signed in to change notification settings - Fork 19
New issue
Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.
By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.
Already on GitHub? Sign in to your account
Ability to specify font for menu "keys" #80
Comments
Yeah I took a stab at trying to use CSS to set it, and unfortunately it's not quite so straightforward since the component used seems to be a generic one. Every class I've tried to set seems to impact something else somewhere else in the UI that I don't want touched - literally just want the labels to be monospace and nothing else (even if other "menus" are invoked that use the same generic component). I'm not sure what you can do here since this might be a VSCode limitation - is it possible to add CSS classes for the rows in the quick input panel that users can more readily target? |
We have a setting which uses fullwidth characters in CJK to workaround the spacing issue. We can consider adding other options such as Mathematical Alphanumeric Symbols which often has a built-in "style" to the character. |
Personally, I'd like to be able to specify a font of my choice, but if that's not possible then I'd gladly accept whatever would help disambiguate all characters used for keys. |
Since we are using VScode menu API, I doubt they would allow special customization any time soon. But there is some quick result using math monospace character block |
It should be possible to customize the font using the Apc Customize UI++ plugin, but I don't know how to make the modifications. If anyone can provide the correct instructions, I would greatly appreciate it! |
Problem
For example, if the
l
andI
menu options are next to each other, because the default sans-serif font displays the keys, they look remarkably identical to one another.Solution
I know I can (probably?) solve it with CSS, but it'd be great if it were an option to set your own font for the menu items. Personally, I'd set it to a monospace font, since this is basically a solved problem with those for the most part.
Alternatives
Can use CSS - I will in the meantime, but it'd be nice if it were supported in the extension itself
The text was updated successfully, but these errors were encountered: