Comment 11 for bug 581108

I think what we need to implement this (without reinventing the wheel) is https://developer.gnome.org/gtk2/2.24/GtkToolPalette.html, but GTK# doesn't provide a wrapper for that widget. We might have to wait until GTK# 3.0 for this.