diff options
| author | Javier <dev.git@javispedro.com> | 2014-12-28 17:21:17 +0100 |
|---|---|---|
| committer | Javier <dev.git@javispedro.com> | 2014-12-28 17:21:17 +0100 |
| commit | 5783a915aa46e01d92948dafa7922b685d9cfdd9 (patch) | |
| tree | ac5d68476311edae2391cef4d8a027c0ac363b0e /libtopmenu-server | |
| parent | ffc74b3a945b603ba9a0c1936f71b47e63ba6672 (diff) | |
| download | topmenu-gtk-5783a915aa46e01d92948dafa7922b685d9cfdd9.tar.gz topmenu-gtk-5783a915aa46e01d92948dafa7922b685d9cfdd9.zip | |
allow gtk3 menus to overlap with panels, etc.
(matches current gtk2 behavior)
Diffstat (limited to 'libtopmenu-server')
0 files changed, 0 insertions, 0 deletions