Against 0.80
wlist.patch: Adds arrow keys navigation to the WINGs list widget. (space is equal to mouse click, return is equal to double mouse click.)