diff options
| author | Alexandre Flament <alex@al-f.net> | 2021-03-22 13:36:52 +0100 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2021-03-22 13:36:52 +0100 |
| commit | 5f7056cf37a776e7aae151a4d1f5560f1bd0472f (patch) | |
| tree | f552cd686917a941fcca8850a34dc9b9eb493b99 /docs/dev | |
| parent | bfd4e1b3423993b112bd5e2a60c806fc0c83527f (diff) | |
| parent | d6480016888aecb05200af2ad158abee503390df (diff) | |
Merge pull request #2661 from dalf/pref-engine-tooltip
[mod] preferences: a tooltip is shown when the mouse is over the engine names
Diffstat (limited to 'docs/dev')
0 files changed, 0 insertions, 0 deletions