Merge branch 'wip/chergert/textview-undo-menu-item' into 'master'
authorMatthias Clasen <mclasen@redhat.com>
Mon, 13 Jan 2020 23:51:40 +0000 (23:51 +0000)
committerMatthias Clasen <mclasen@redhat.com>
Mon, 13 Jan 2020 23:51:40 +0000 (23:51 +0000)
commit57e71a6a69f6d44db68f154153ec1e7449ef0f11
tree254c0114fe975c3bbf7a645af7cedc549f6f3fe3
parent4c1ccfd7bec76da5519e4e1187c4666285d0eaf5
parent15b5a404b86d7ca4269205c7702fbdade3d2caaf
Merge branch 'wip/chergert/textview-undo-menu-item' into 'master'

textview: add undo/redo menu actions

See merge request GNOME/gtk!1310