Index: Lib/idlelib/PyShell.py
===================================================================
RCS file: /cvsroot/python/python/dist/src/Lib/idlelib/PyShell.py,v
retrieving revision 1.91
diff -u -r1.91 PyShell.py
--- Lib/idlelib/PyShell.py	22 Aug 2004 05:14:32 -0000	1.91
+++ Lib/idlelib/PyShell.py	7 Nov 2004 08:11:45 -0000
@@ -588,7 +588,8 @@
         if isinstance(source, types.UnicodeType):
             import IOBinding
             try:
-                source = source.encode(IOBinding.encoding)
+                source = '# coding: %s\n%s' % (
+                    IOBinding.encoding, source.encode(IOBinding.encoding))
             except UnicodeError:
                 self.tkconsole.resetoutput()
                 self.write("Unsupported characters in input")