From cee721a99bdca605d031bf1999cd028f9c6e4147 Mon Sep 17 00:00:00 2001 From: Mike Date: Thu, 9 May 2024 12:27:23 +0100 Subject: [PATCH] Fix for Operation stab not puoulating correctly when first opened --- convex-gui/src/main/java/convex/gui/actor/ActorInvokePanel.java | 1 + convex-gui/src/main/java/convex/gui/components/ScrollyList.java | 2 ++ 2 files changed, 3 insertions(+) diff --git a/convex-gui/src/main/java/convex/gui/actor/ActorInvokePanel.java b/convex-gui/src/main/java/convex/gui/actor/ActorInvokePanel.java index 69d93c061..de03593ef 100644 --- a/convex-gui/src/main/java/convex/gui/actor/ActorInvokePanel.java +++ b/convex-gui/src/main/java/convex/gui/actor/ActorInvokePanel.java @@ -36,6 +36,7 @@ public ActorInvokePanel(Convex convex,StateModel model, Address contract) AccountStatus as = model.getValue().getAccount(contract); ASet exports = as.getCallableFunctions(); for (Symbol s : exports) { + System.err.println(s); exportList.addElement(s); } diff --git a/convex-gui/src/main/java/convex/gui/components/ScrollyList.java b/convex-gui/src/main/java/convex/gui/components/ScrollyList.java index 666e41cb9..197ce6925 100644 --- a/convex-gui/src/main/java/convex/gui/components/ScrollyList.java +++ b/convex-gui/src/main/java/convex/gui/components/ScrollyList.java @@ -105,6 +105,8 @@ public void contentsChanged(ListDataEvent e) { refreshList(); } }); + + refreshList(); } public Component[] getListComponents() {