Write file to argument given to 'w' command, if present

src/core/EncodedString.h

@@ -83,6 +83,10 @@ public:
     {
         return !(*this == s);
     }
+    std::string to_string() const
+    {
+        return std::string((const char *)&(*m_data)[0], m_size);
+    }
 
 protected:
     Encoding::Type m_encoding;