--- a/Debugger/DebuggerInterfacePython.py	Sun Feb 24 18:16:51 2019 +0100
+++ b/Debugger/DebuggerInterfacePython.py	Sun Feb 24 20:36:15 2019 +0100
@@ -104,6 +104,7 @@
             (False = local to remote, True = remote to local [default])
         @return translated filename (string)
         """
+        # TODO: remote translation must translate os.sep as well
         if remote2local:
             return fn.replace(self.translateRemote, self.translateLocal)
         else: