From 70d6ae6d749d11ced007fa781ce65c6e27229007 Mon Sep 17 00:00:00 2001 From: Ida Massow Date: Mon, 13 Jun 2011 18:22:55 +0200 Subject: Player Type in player settings verschoben git-svn-id: svn://sunsvr01.isp.uni-luebeck.de/swproj13/trunk@420 72836036-5685-4462-b002-a69064685172 --- src/jrummikub/view/ISettingsPanel.java | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) (limited to 'src/jrummikub/view/ISettingsPanel.java') diff --git a/src/jrummikub/view/ISettingsPanel.java b/src/jrummikub/view/ISettingsPanel.java index 4fca9ad..e5a73ed 100644 --- a/src/jrummikub/view/ISettingsPanel.java +++ b/src/jrummikub/view/ISettingsPanel.java @@ -3,8 +3,8 @@ package jrummikub.view; import java.awt.Color; import java.util.Set; -import jrummikub.control.turn.TurnControlFactory; import jrummikub.model.GameSettings; +import jrummikub.model.PlayerSettings.Type; import jrummikub.model.StoneColor; import jrummikub.util.IEvent; import jrummikub.util.IEvent1; @@ -73,7 +73,7 @@ public interface ISettingsPanel { * * @return the event */ - public IEvent2 getChangePlayerTypeEvent(); + public IEvent2 getChangePlayerTypeEvent(); /** * The change initial meld threshold event is emitted when the user wants -- cgit v1.2.3