diff options
author | Alberts Muktupāvels <[email protected]> | 2015-07-21 03:14:33 +0200 |
---|---|---|
committer | infirit <[email protected]> | 2015-09-14 18:54:03 +0200 |
commit | 49d830417d9ef75241eb63d6d08a51603cfda18f (patch) | |
tree | aa1126a0c3ab765093a927198f1f51fedd3bc986 /src/ui/menu.h | |
parent | ee8de316b3e0ff382d41012e78edf5bc58895f54 (diff) | |
download | marco-49d830417d9ef75241eb63d6d08a51603cfda18f.tar.bz2 marco-49d830417d9ef75241eb63d6d08a51603cfda18f.tar.xz |
window: load NET_WM_USER_TIME from the right window
On subsequent changes, if there is a NET_WM_USER_TIME_WINDOW, then
read the property from that rather than from the main window.
(Fix an accidental regression: the right Window was being computed
but no longer passed in.)
Original patch author - Owen Taylor:
https://bugzilla.gnome.org/show_bug.cgi?id=585979
Diffstat (limited to 'src/ui/menu.h')
0 files changed, 0 insertions, 0 deletions