| 25 | """ |
| 26 | |
| 27 | def __init__( |
| 28 | self, |
| 29 | config, |
| 30 | permanent_text="", |
| 31 | request_refresh=lambda: None, |
| 32 | schedule_refresh=lambda when: None, |
| 33 | ): |
| 34 | self._current_line = "" |
| 35 | self.cursor_offset_in_line = 0 |
| 36 | self.in_prompt = False |
| 37 | self.in_confirm = False |
| 38 | self.waiting_for_refresh = False |
| 39 | self.prompt = "" |
| 40 | self._message = "" |
| 41 | self.message_start_time = time.time() |
| 42 | self.message_time = 3.0 |
| 43 | self.permanent_stack = [] |
| 44 | if permanent_text: |
| 45 | self.permanent_stack.append(permanent_text) |
| 46 | self.main_context = greenlet.getcurrent() |
| 47 | self.request_context = None |
| 48 | self.request_refresh = request_refresh |
| 49 | self.schedule_refresh = schedule_refresh |
| 50 | |
| 51 | super().__init__(config) |
| 52 | |
| 53 | def push_permanent_message(self, msg): |
| 54 | self._message = "" |