Searched refs:marker (Results 1 – 3 of 3) sorted by relevance
140 def _patch_file(self, file, marker, line): argument144 content = content.replace(marker, line + "\n" + marker)
1333 marker = ' Guest is DEAD '1334 y = min(len(self._headline), 80 - len(marker))1335 self.screen.addstr(0, y, marker, curses.A_BLINK | curses.A_STANDOUT)
144 The record is used as a marker for the end of the jitted runtime. It can be replaced by the end of …
Completed in 6 milliseconds