|
@ -574,10 +574,9 @@ when isMainModule: |
|
|
|
|
|
|
|
|
elif (ev.theType == FocusIn): |
|
|
elif (ev.theType == FocusIn): |
|
|
let currentFocus = windowZipper.zipperFocus |
|
|
let currentFocus = windowZipper.zipperFocus |
|
|
let windowStack = map(toSeq(getChildren(display)), (w) => w.win) |
|
|
|
|
|
|
|
|
|
|
|
if currentFocus.isSome: |
|
|
if currentFocus.isSome: |
|
|
if currentFocus.get != ev.xfocus.window: |
|
|
if currentFocus.get != ev.xfocus.window: |
|
|
|
|
|
let windowStack = map(toSeq(getChildren(display)), (w) => w.win) |
|
|
# restack it |
|
|
# restack it |
|
|
windowZipper.rhs = windowStack.reversed |
|
|
windowZipper.rhs = windowStack.reversed |
|
|
windowZipper.lhs = @[] |
|
|
windowZipper.lhs = @[] |
|
|