- add group ALL

the list of IDs is stored alphabetically so when accessing the database
with an ID one needs an indirection to get the correct record.
"pos" was not clear. "id_to_pos" is clearer.

view "textlist" becomes "view_textlist" (this one may change at some
point)

no deadlock should be possible as of the current state of
things. When the textlist's lock is set the GUI lock is
never on.

Let's cross fingers that things don't change crazily in
the future...

when too much data has been sent to the text list view, way too much
GUI processing is done, let's batch-process the changes and then tell
the GUI that something has changed

(no more event selector)

This message sends configuration for all events.

just "dirty"

This reverts commit 4911b107.

The idea was to keep the stuff in the git history.

used to debug locking

first version, to be finished

introducing generic "view" with two instantiations: stdout and textlist