diff options
| author | Vito Caputo <vcaputo@gnugeneration.com> | 2017-03-23 22:58:48 -0700 |
|---|---|---|
| committer | Vito Caputo <vcaputo@gnugeneration.com> | 2017-03-24 02:02:37 -0700 |
| commit | c8033ae7ca10d45270794795498c813342b8f7b4 (patch) | |
| tree | 46c1343680a0c58128dbefeecdcf795a503c9932 /patches/xorg-server-1.12.4-6+deb7u2-net-wm-pid-set-for-local-clients.patch.txt | |
| parent | 6abaa282e45d63909c5a3fce5ee514c8c8f5514b (diff) | |
window: cleanup vwm_win_focused()
We can assume (vwm->focused_desktop != NULL), the initial desktop
is created early in startup and the last one can't be destroyed.
Diffstat (limited to 'patches/xorg-server-1.12.4-6+deb7u2-net-wm-pid-set-for-local-clients.patch.txt')
0 files changed, 0 insertions, 0 deletions