diff options
| author | Anton Khirnov <anton@khirnov.net> | 2022-05-11 14:53:52 +0200 |
|---|---|---|
| committer | Anton Khirnov <anton@khirnov.net> | 2022-05-11 14:53:52 +0200 |
| commit | ba50cd942fd80dfca6e86a573e01b00b98b1f5f9 (patch) | |
| tree | 4b748489f890d4614d203ff4499251c0b5dae0f0 /.github | |
| parent | cb36f43beb2ef07b9af243a16333b27a4f8067a2 (diff) | |
ui: move _{save,load}_history* out of the UI class
They are currently private staticmethods and there is no good reason to
keep them inside UI, they only make the already large class larger.
Diffstat (limited to '.github')
0 files changed, 0 insertions, 0 deletions