diff options
| author | George Hazan <george.hazan@gmail.com> | 2023-09-06 18:23:47 +0300 |
|---|---|---|
| committer | George Hazan <george.hazan@gmail.com> | 2023-09-06 18:23:47 +0300 |
| commit | 14cdce713e7fc132f12569653fcf4f4f0c47e563 (patch) | |
| tree | 22c72b6f6438f6a01371e86ae1d95e0c6d29d27d /plugins/TopToolBar | |
| parent | c24c2276155a67fa10f1e82495d2f83a856ebf24 (diff) | |
fix: top toolbar buttons aren't removed when the appropriate plugin gets unloaded
Diffstat (limited to 'plugins/TopToolBar')
0 files changed, 0 insertions, 0 deletions