--- a/Debugger/DebugViewer.py Sat May 17 19:58:49 2014 +0200 +++ b/Debugger/DebugViewer.py Sun May 18 14:13:09 2014 +0200 @@ -320,7 +320,7 @@ def handleRawInput(self): """ - Pulic slot to handle the switch to the shell in raw input mode. + Public slot to handle the switch to the shell in raw input mode. """ if self.embeddedShell: self.saveCurrentPage()