Fixed: #2384 Vanishing pins on AS3 code editing save, on script deletion and few other cases - few more cases

This commit is contained in:
Jindra Petřík
2025-01-17 21:47:12 +01:00
parent 5560f311f2
commit c62cbdddff
2 changed files with 3 additions and 12 deletions
@@ -470,7 +470,7 @@ public final class MainPanel extends JPanel implements TreeSelectionListener, Se
} }
public void refreshPins() { public void refreshPins() {
pinsPanel.refresh(); pinsPanel.load();
} }
public void destroyPins() { public void destroyPins() {
@@ -4796,7 +4796,7 @@ public final class MainPanel extends JPanel implements TreeSelectionListener, Se
} }
reload(true); reload(true);
pinsPanel.refresh(); refreshPins();
} }
public void refreshTree() { public void refreshTree() {
@@ -4825,7 +4825,7 @@ public final class MainPanel extends JPanel implements TreeSelectionListener, Se
} }
reload(true); reload(true);
updateMissingNeededCharacters(); updateMissingNeededCharacters();
pinsPanel.refresh(); refreshPins();
updateUiWithCurrentOpenable(); updateUiWithCurrentOpenable();
} }
@@ -442,15 +442,6 @@ public class PinsPanel extends JPanel {
} }
} }
public void refresh() {
for (PinButton button : buttons) {
button.refresh();
}
if (currentUnpinnedButton != null) {
currentUnpinnedButton.refresh();
}
}
public void refreshScriptPacks() { public void refreshScriptPacks() {
for (int b = 0; b < buttons.size(); b++) { for (int b = 0; b < buttons.size(); b++) {
PinButton button = buttons.get(b); PinButton button = buttons.get(b);