external-repos/forge
1
0
Fork 0
mirror of https://github.com/Card-Forge/forge.git synced 2025-11-19 04:08:01 +00:00
Code Issues Packages Projects Releases Wiki Activity

Show ratio of owned/total for image view groups

Browse Source
This commit is contained in:
drdev
2016-01-03 04:40:14 +00:00
parent 51578f50d2
commit eedebb8252
1 changed files with 11 additions and 1 deletions
Download Patch File Download Diff File Expand all files Collapse all files

12
forge-gui-mobile/src/forge/itemmanager/views/ImageView.java
View File

@@ -771,6 +771,7 @@ public class ImageView<T extends InventoryItem> extends ItemView<T> {
private final String name; private final String name;
private boolean isCollapsed; private boolean isCollapsed;
private float scrollWidth; private float scrollWidth;
private int count;
public Group(String name0) { public Group(String name0) {
name = name0; name = name0;
@@ -778,6 +779,9 @@ public class ImageView<T extends InventoryItem> extends ItemView<T> {
public void add(ItemInfo item) { public void add(ItemInfo item) {
items.add(item); items.add(item);
if (!item.unowned) {
count++;
}
} }
@Override @Override
@@ -793,7 +797,13 @@ public class ImageView<T extends InventoryItem> extends ItemView<T> {
//draw group name and horizontal line //draw group name and horizontal line
float x = GROUP_HEADER_GLYPH_WIDTH + PADDING + 1; float x = GROUP_HEADER_GLYPH_WIDTH + PADDING + 1;
float y = 0; float y = 0;
String caption = name + " (" + items.size() + ")"; String caption;
if (itemManager.getPool().allowZero() && itemManager.isInfinite()) {
caption = name + " (" + count + " / " + items.size() + ")"; //show ratio of owned / total when zero allowed
}
else {
caption = name + " (" + count + ")";
}
g.drawText(caption, GROUP_HEADER_FONT, GROUP_HEADER_FORE_COLOR, x, y, getWidth(), GROUP_HEADER_HEIGHT, false, HAlignment.LEFT, true); g.drawText(caption, GROUP_HEADER_FONT, GROUP_HEADER_FORE_COLOR, x, y, getWidth(), GROUP_HEADER_HEIGHT, false, HAlignment.LEFT, true);
x += GROUP_HEADER_FONT.getBounds(caption).width + PADDING; x += GROUP_HEADER_FONT.getBounds(caption).width + PADDING;
y += GROUP_HEADER_HEIGHT / 2; y += GROUP_HEADER_HEIGHT / 2;