diff options
| author | Rémi Verschelde <rverschelde@gmail.com> | 2020-09-30 01:27:52 +0200 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2020-09-30 01:27:52 +0200 |
| commit | 72a3759ae5b56e5483ef82f8cf8831c6174f2087 (patch) | |
| tree | d79eefe498816c934502691ae0ca80b06f65e219 /doc/Makefile | |
| parent | 475f4faead2f4ad397656e1bf334891cde550c09 (diff) | |
| parent | 95773bb3c1c627f022de7980084088c3414f6459 (diff) | |
Merge pull request #42417 from Calinou/autokey-pressed-red-icon
Make the pressed autokey icon red to emphasize its "recording" status
Diffstat (limited to 'doc/Makefile')
0 files changed, 0 insertions, 0 deletions