--- a/UI/SymbolsWidget.py	Fri Oct 18 18:00:02 2013 +0200
+++ b/UI/SymbolsWidget.py	Fri Oct 18 18:42:10 2013 +0200
@@ -509,7 +509,8 @@
             int(Preferences.Prefs.settings.value("Symbols/Top", 0)),
             0)
         self.symbolsTable.scrollTo(index, QAbstractItemView.PositionAtTop)
-        self.symbolsTable.selectionModel().setCurrentIndex(index,
+        self.symbolsTable.selectionModel().setCurrentIndex(
+            index,
             QItemSelectionModel.SelectCurrent | QItemSelectionModel.Rows)
     
     @pyqtSlot(QModelIndex)