--- Terminal.ui.original	2007-02-02 17:31:19.000000000 +0300
+++ Terminal.ui	2007-02-02 12:43:59.000000000 +0300
@@ -41,6 +41,10 @@
       <menuitem action="reset"/>
       <menuitem action="reset-and-clear"/>
     </menu>
+    
+    <menu name="Encoding" action="encoding-menu">
+    </menu>
+
     <menu action="go-menu">
       <menuitem action="prev-tab"/>
       <menuitem action="next-tab"/>