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.
I think what we need to implement this (without reinventing the wheel) is https:/ /developer. gnome.org/ gtk2/2. 24/GtkToolPalet te.html, but GTK# doesn't provide a wrapper for that widget. We might have to wait until GTK# 3.0 for this.