TimerWdg.java

package haven;

import ender.timer.Callback;
import ender.timer.Timer;
import ender.timer.TimerController;

public class TimerWdg extends Widget {

	static Tex bg = Resource.loadtex("gfx/hud/bosq");
	private Timer timer;
	public Label time, name;
	private Button start, stop, delete;

	public TimerWdg(Coord c, Widget parent, Timer timer) {
		super(c, bg.sz(), parent);

		this.timer = timer;
		timer.updcallback = new Callback() {

			@Override
			public void run(Timer timer) {
				synchronized (time) {
					time.settext(timer.toString());
					updbtns();
				}

			}
		};
		name = new Label(new Coord(5, 5), this, timer.getName());
		time = new Label(new Coord(5, 25), this, timer.toString());

		start = new Button(new Coord(90, 2), 50, this, "start");
		stop = new Button(new Coord(90, 2), 50, this, "stop");
		delete = new Button(new Coord(90, 21), 50, this, "delete");
		updbtns();
	}

	private void updbtns() {
		start.visible = !timer.isWorking();
		stop.visible = timer.isWorking();
	}

	@Override
	public void destroy() {
		unlink();
		if (parent instanceof TimerPanel) {
			((TimerPanel) parent).pack();
		}
		timer.updcallback = null;
		timer = null;
		super.destroy();
	}

	@Override
	public void draw(GOut g) {
		g.image(bg, Coord.z);
		super.draw(g);
	}

	@Override
	public void wdgmsg(Widget sender, String msg, Object... args) {
		if (sender == start) {
			timer.start();
			updbtns();
		} else if (sender == stop) {
			timer.stop();
			updbtns();
		} else if (sender == delete) {
			timer.destroy();
			TimerController.getInstance().save();
			ui.destroy(this);
		} else {
			super.wdgmsg(sender, msg, args);
		}
	}

}