(self, tool_manager=None)
| 1790 | |
| 1791 | class ContextWithNotice(DummyContext): |
| 1792 | def __init__(self, tool_manager=None): |
| 1793 | super().__init__(tool_manager=tool_manager) |
| 1794 | self.notices = [] |
| 1795 | |
| 1796 | def add_context_notice(self, msg: str): |
| 1797 | self.notices.append(msg) |