Add keyhint radius configuration option
The radius for the keyhint dialog box should be configurable vi via c.keyhint.radius. The default was set to 6px, which is the previous hardcoded value.
This commit is contained in:
parent
378498bbd7
commit
2bfa853847
@ -978,6 +978,13 @@ keyhint.blacklist:
|
||||
Globs are supported, so `;*` will blacklist all keychains starting with `;`.
|
||||
Use `*` to disable keyhints.
|
||||
|
||||
keyhint.radius:
|
||||
type:
|
||||
name: Int
|
||||
minval: 0
|
||||
default: 6
|
||||
desc: The rounding radius for the edges of the keyhint dialog.
|
||||
|
||||
# emacs: '
|
||||
|
||||
keyhint.delay:
|
||||
|
@ -54,9 +54,9 @@ class KeyHintView(QLabel):
|
||||
background-color: {{ conf.colors.keyhint.bg }};
|
||||
padding: 6px;
|
||||
{% if conf.statusbar.position == 'top' %}
|
||||
border-bottom-right-radius: 6px;
|
||||
border-bottom-right-radius: {{ conf.keyhint.radius }}px;
|
||||
{% else %}
|
||||
border-top-right-radius: 6px;
|
||||
border-top-right-radius: {{ conf.keyhint.radius }}px;
|
||||
{% endif %}
|
||||
}
|
||||
"""
|
||||
|
Loading…
Reference in New Issue
Block a user