From 39ad9bcb4b6029cfe598c4a18a2ccbca8c38ee49 Mon Sep 17 00:00:00 2001 From: Doublestrike Date: Thu, 19 Apr 2012 12:42:38 +0000 Subject: [PATCH] Minor update to DragTab. --- src/main/java/forge/gui/framework/DragTab.java | 6 ++++++ 1 file changed, 6 insertions(+) diff --git a/src/main/java/forge/gui/framework/DragTab.java b/src/main/java/forge/gui/framework/DragTab.java index 0691bc84b4c..1dac24e9d01 100644 --- a/src/main/java/forge/gui/framework/DragTab.java +++ b/src/main/java/forge/gui/framework/DragTab.java @@ -60,6 +60,12 @@ public final class DragTab extends JLabel implements ILocalRepaint { return priority; } + // There should be no need for this method. + @SuppressWarnings("unused") + private void setPriority() { + // Intentionally empty. + } + @Override public void repaintThis() { final Dimension d = DragTab.this.getSize();