Clear pinned items tool.

This commit is contained in:
Jindra Petřík
2022-11-20 22:12:19 +01:00
parent 96c63be654
commit 8ac2ff192a
5 changed files with 28 additions and 2 deletions
@@ -418,6 +418,10 @@ public final class MainPanel extends JPanel implements TreeSelectionListener, Se
pinsPanel.clear();
}
public void destroyPins() {
pinsPanel.destroy();
}
private void handleTreeKeyReleased(KeyEvent e) {
AbstractTagTree tree = (AbstractTagTree) e.getSource();
if ((e.getKeyCode() == KeyEvent.VK_UP