menus/undo-menu.xml


1
2
3
4
5
6
7
8
9
10

<?xml version="1.0" encoding="utf-8"?>
<!DOCTYPE ui SYSTEM "gtkuimanager.dtd">

<ui>
  <popup action="undo-popup">
    <menuitem action="edit-undo" />
    <menuitem action="edit-redo" />
    <menuitem action="edit-undo-clear" />
  </popup>
</ui>