--- a/src/eric7/Utilities/__init__.py	Fri Dec 22 11:04:32 2023 +0100
+++ b/src/eric7/Utilities/__init__.py	Fri Dec 22 13:57:47 2023 +0100
@@ -1090,7 +1090,7 @@
 
 def unslash(txt):
     """
-    Function to convert a string containg escape codes to an escaped string.
+    Function to convert a string containing escape codes to an escaped string.
 
     @param txt string to be converted
     @type str
@@ -1152,6 +1152,36 @@
     return "".join(s)
 
 
+_slashmap = {i: hex(i).replace("0x", "\\x") for i in range(7)}
+_slashmap.update(
+    {
+        7: "\\a",
+        8: "\\b",
+        9: "\\t",
+        10: "\\n",
+        11: "\\v",
+        12: "\\f",
+        13: "\\r",
+    }
+)
+_slashmap.update({i: hex(i).replace("0x", "\\x") for i in range(14, 32)})
+_slashmap.update({i: hex(i).replace("0x", "\\x") for i in range(127, 160)})
+
+
+def slash(txt):
+    """
+    Function to convert an escaped string to a string containing escape codes.
+
+    Note: This is the reverse of 'unslash()'.
+
+    @param txt string to be converted
+    @type str
+    @return converted string containing escaped escape codes
+    @rtype str
+    """
+    return txt.translate(_slashmap)
+
+
 ###############################################################################
 ## Other utility functions below
 ###############################################################################