X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?a=blobdiff_plain;f=src%2Fui%2Fgui%2Fdata-editor.ui;h=498f3fce8c5b5126fb18d90690744a5c0077cb9c;hb=e195fccfab97205acb29f90fd1168488d49f1573;hp=6a37b023543b1764629efb16998e53213b95b3f1;hpb=aafb6add9344c71c4fed343e52e9a67aa6efdf91;p=pspp-builds.git diff --git a/src/ui/gui/data-editor.ui b/src/ui/gui/data-editor.ui index 6a37b023..498f3fce 100644 --- a/src/ui/gui/data-editor.ui +++ b/src/ui/gui/data-editor.ui @@ -54,6 +54,12 @@ gtk-convert + + + rename_dataset + _Rename Dataset... + + gtk-save @@ -480,6 +486,7 @@ +