clear history cache when extension exits

This commit is contained in:
Wolfgang Rumpler 2018-11-01 19:40:57 +01:00
parent e545fcafdf
commit 21496bb788

View file

@ -50,6 +50,7 @@ function enable() {
function disable() {
// disable Extension
panelEntry.clearHistoryList();
panelEntry.destroy();
// remove all signal handlers