From 860de6b5179a7524557e0eeb14efa26870965917 Mon Sep 17 00:00:00 2001
From: sk89q <the.sk89q@gmail.com>
Date: Wed, 24 Nov 2010 10:41:10 -0800
Subject: [PATCH] //distr now indicates the block IDs.

---
 src/WorldEditListener.java | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

diff --git a/src/WorldEditListener.java b/src/WorldEditListener.java
index f7ef0e866..b1df1b60c 100644
--- a/src/WorldEditListener.java
+++ b/src/WorldEditListener.java
@@ -912,10 +912,10 @@ public class WorldEditListener extends PluginListener {
                 player.print("# total blocks: " + size);
                 
                 for (Countable<Integer> c : distribution) {
-                    player.print(String.format("%-7s (%.3f%%) %s",
+                    player.print(String.format("%-7s (%.3f%%) %s #%d",
                             String.valueOf(c.getAmount()),
                             c.getAmount() / (double)size * 100,
-                            BlockType.fromID(c.getID()).getName()));
+                            BlockType.fromID(c.getID()).getName(), c.getID()));
                 }
             } else {
                 player.printError("No blocks counted.");