diff options
| author | hackademix <giorgio@maone.net> | 2018-08-14 01:08:00 +0200 |
|---|---|---|
| committer | hackademix <giorgio@maone.net> | 2018-08-14 01:08:00 +0200 |
| commit | 63f3970ac6424c8627c2d055609f60024e93082c (patch) | |
| tree | 8999739aa101743e66f7f5812dd0f10c846d9fa7 /html/preferences_panel | |
| parent | d6902eea60acea9f1ea3828e1cdb0bf6288e7b06 (diff) | |
Cope with tabId changes on session restore.
Diffstat (limited to 'html/preferences_panel')
0 files changed, 0 insertions, 0 deletions