wahjam/wahjam — pull request #60 by stefanha (2012-07-01 20:31:29+00:00)
Title: Fix "Mute" checkbox

The ChannelTreeWidget has a bug where user indices are not updated when
users leave or join the server. Make sure to store the user index so
the mute checkbox mutes the correct user!

Signed-off-by: Stefan Hajnoczi