method
set_encoding e =
file
#
set_encoding e;
self
#
display_encoding