when switching workspaces, focus the window that last had focus on the
commit8bd9857b1d844d8a68448edc9488aa4d232b2237
authorbradleyhughes <bradleyhughes>
Fri, 3 Sep 2004 06:36:34 +0000 (3 06:36 +0000)
committerbradleyhughes <bradleyhughes>
Fri, 3 Sep 2004 06:36:34 +0000 (3 06:36 +0000)
tree976064b438fc720fbc9d3f199951af3a4a616515
parent394608567ab1714143915fec5e37d889b66423e4
when switching workspaces, focus the window that last had focus on the
workspace... if the window doesn't exist, focus the top-most window
instead.
src/Screen.cc
src/Workspace.cc
src/Workspace.hh