diff options
author | fvogel <fvogelnew1@free.fr> | 2021-01-03 13:39:26 (GMT) |
---|---|---|
committer | fvogel <fvogelnew1@free.fr> | 2021-01-03 13:39:26 (GMT) |
commit | df2c079ab43c9a9889389af6dae9af6c6fcf3c97 (patch) | |
tree | e90a0edbc4202af9d3341592d01c39596306580c /doc/popup.n | |
parent | 1d4ef1692985233c8c7851ab76d90eea03008c1d (diff) | |
download | tk-df2c079ab43c9a9889389af6dae9af6c6fcf3c97.zip tk-df2c079ab43c9a9889389af6dae9af6c6fcf3c97.tar.gz tk-df2c079ab43c9a9889389af6dae9af6c6fcf3c97.tar.bz2 |
Fix [e57dbff619]: Ubuntu / Gnome desktop incorrect window mouseover labels in dock, by better documenting differences between window managers.
Diffstat (limited to 'doc/popup.n')
0 files changed, 0 insertions, 0 deletions