def __init__(self, dart, costMeasure, parent, name=None):
self.__base.__init__(self, parent)
if name:
self.setObjectName(name)
self.dart = dart
self.costMeasure = costMeasure
self.ui = Ui_DartNavigator()
self.ui.setupUi(self)
self.connect(self.ui.nextPhiButton, QtCore.SIGNAL("clicked()"),
self.nextPhi)
self.connect(self.ui.prevPhiButton, QtCore.SIGNAL("clicked()"),
self.prevPhi)
self.connect(self.ui.nextAlphaButton, QtCore.SIGNAL("clicked()"),
self.nextAlpha)
self.connect(self.ui.nextSigmaButton, QtCore.SIGNAL("clicked()"),
self.nextSigma)
self.connect(self.ui.prevSigmaButton, QtCore.SIGNAL("clicked()"),
self.prevSigma)
self.connect(self.ui.continuousCheckBox,
QtCore.SIGNAL("toggled(bool)"), self.toggleContinuous)
self.timer = QtCore.QTimer(self)
self.connect(self.timer, QtCore.SIGNAL("timeout()"),
self.highlightNext)
self._darthighlighter = DartHighlighter(parent.map, parent.viewer)
self.updateLabel()
