blob: 92cf658a6ed7252a072ff750cb865dc4f8d1cbf2 (
plain)
1
2
3
4
5
6
7
8
|
Reporting menu bugs
-------------------
If you are reporting a bug about the way menus are displayed, please
provide the name and version of the window manager (or menu manager)
you use. You can use the output of
dpkg-query -l <window manager package name>
|
