d1108e1e7d
Currently the infoBar's button will always read "Undo" - sometimes a different label makes more sense, so allow to optionally set the label to something else. https://bugzilla.gnome.org/show_bug.cgi?id=612200 |
||
---|---|---|
.. | ||
misc | ||
ui | ||
Makefile.am |