diff --git a/src/main/java/forge/view/match/ViewTabber.java b/src/main/java/forge/view/match/ViewTabber.java index 63a034032ac..277985552ae 100644 --- a/src/main/java/forge/view/match/ViewTabber.java +++ b/src/main/java/forge/view/match/ViewTabber.java @@ -152,6 +152,9 @@ public class ViewTabber { this.pnlStack.removeAll(); this.vtpTabber.showTab(0); + + this.vtpTabber.getAllVTabs().get(0).setText("Stack : " + stack.size()); + final Font font = this.skin.getFont1().deriveFont(Font.PLAIN, 14); final Border border = new MatteBorder(0, 0, 1, 0, this.skin.getClrBorders()); diff --git a/src/main/java/forge/view/toolbox/FVerticalTabPanel.java b/src/main/java/forge/view/toolbox/FVerticalTabPanel.java index 8fb2df52fc0..777d9862d18 100644 --- a/src/main/java/forge/view/toolbox/FVerticalTabPanel.java +++ b/src/main/java/forge/view/toolbox/FVerticalTabPanel.java @@ -148,9 +148,9 @@ public class FVerticalTabPanel extends FPanel { * provide vertical-ness. Also manages root level hover and click effects. * */ - private class VTab extends JPanel { - private final String msg; - private final int id; + public class VTab extends JPanel { + private String msg; + private int id; private int w; // ID is used to retrieve this tab from the list of allVTabs. @@ -211,5 +211,14 @@ public class FVerticalTabPanel extends FPanel { at.rotate(Math.toRadians(-90), 0, 0); g2d.setTransform(at); } + + /** @param txt0   String */ + public void setText(String txt0) { + this.msg = txt0; + } + } + + public List getAllVTabs() { + return allVTabs; } }