--- a/UI/SymbolsWidget.py	Fri Oct 18 23:00:41 2013 +0200
+++ b/UI/SymbolsWidget.py	Fri Nov 01 15:48:48 2013 +0100
@@ -515,7 +515,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)