fix for dir separator in python shell path completion on Windows

git-svn-id: https://dng.biozentrum.unibas.ch/svn/openstructure/branches/new_shell@2367 5a81b35b-ba03-0410-adc8-b2c5c5119f08

modules/gui/src/python_shell/python_shell_widget.cc

@@ -364,7 +364,8 @@ void  PythonShellWidget::InsertCompletion(const QString& completion)
 void  PythonShellWidget::InsertPathCompletion(const QString& completion)
 {
   InsertCompletion(completion);
-  if(QFileInfo(completion).isDir()){
+  // append dir separator for directories if none present (Windows adds it already for the inline completion)
+  if(QFileInfo(completion).isDir() && ! completion.endsWith(QDir::separator())){
     textCursor().insertText(QDir::separator());
   }
 }