From f9dbebd44d03a5f1453ffd1b0bcd3473d8e88b29 Mon Sep 17 00:00:00 2001 From: Doublestrike Date: Wed, 30 Nov 2011 04:12:11 +0000 Subject: [PATCH] Added count of stack to tab. --- src/main/java/forge/view/match/ViewTabber.java | 3 +++ .../forge/view/toolbox/FVerticalTabPanel.java | 15 ++++++++++++--- 2 files changed, 15 insertions(+), 3 deletions(-) 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; } }