greetings list,

i've attached a patch for the current source for rio from plan9ports.  it
appends a window id to menu items which are duplicated in the menu,
making it easier to locate a certain client.  somebody else might find
it useful.

-- 
glaive@vaned.net
4405 5BA1 62D1 9DA1 7774  B4A3 2CB2 3872 24ED 2441