[Notion-devel] Patches! Some debug printing and better focuslist update behavior

[Dima K. <no...@di...>]

Hi.

I made a few changes, and the updated tree is the master branch at

 https://github.com/dkogan/notion/

This tree contains

1. The license update sent previously

2. Functions to debug-print a region hierarchy, manager hiearchy and
focuslist contents

3. Enhanced behavior to update the focus list. After this patch windows
are added to the focus list only after a delay. This makes it such that
windows that were focused for a very short time are not added to the
focus list. As a result, the user can now search for a window by quickly
cycling through some windows. Once the user finds the window they seek,
they can go back to the window they were previously working on using any
key binding that consults the focus list. Prior to this patch, those
bindings would go to the previously-focused window, even though it was
one that was only quickly visited en route to what the user was looking
for. After this patch, the previous window on the focus list is the one
they were working on.

This patch required the separation of the variables containing the
"focus list" and the "currently focused region". I've been running this
for a few days now, and things appear to work as they should.