+ */
+class Push_translation_property : public Music
+{
+public:
+ VIRTUAL_COPY_CONS (Music);
+};
+
+/**
+ Restore previous setting.
+
+ symbols -- list of basic-property lists
+
+ element-property -- element property name
+ */
+class Pop_translation_property : public Music
+{
+public:
+ VIRTUAL_COPY_CONS (Music);