Give the current session a name in the history database.
(self, name)
| 579 | self.session_number = 0 |
| 580 | |
| 581 | def name_session(self, name): |
| 582 | """Give the current session a name in the history database.""" |
| 583 | with self.db: |
| 584 | self.db.execute("UPDATE sessions SET remark=? WHERE session==?", |
| 585 | (name, self.session_number)) |
| 586 | |
| 587 | def reset(self, new_session=True): |
| 588 | """Clear the session history, releasing all object references, and |