def remove(self, timer):
        """Remove a timer from the heap, return True if already run"""
        with self.lock:
            # This is somewhat expensive as we have to heapify.
            if timer in self.timers:
                self._remove(timer)
                return False
            else:
                return True
dataset/ETHPy150Open ejeschke/ginga/ginga/util/heaptimer.py/TimerHeap.remove/original