Comment 4 for bug 512432

@Sanne: Thanks for your speed :) I agree with your patch.

But I think it would be better with these little modifications:

Adding
self.session_label.set_use_underline(True)
after:
self.session_label = gtk.Label()

Changing two occurrences of:
self.session_label.set_markup_with_mnemonic(_('_Session'))
by:
self.session_label.set_label(_('_Session'))

Changing:
self.session_label.set_markup_with_mnemonic('<b>%s</b>' % _('_Session'))
by:
self.session_label.set_markup('<b>%s</b>' % _('_Session'))

What do you think?