001: /**
002: * LibreSource
003: * Copyright (C) 2004-2008 Artenum SARL / INRIA
004: * http://www.libresource.org - contact@artenum.com
005: *
006: * This file is part of the LibreSource software,
007: * which can be used and distributed under license conditions.
008: * The license conditions are provided in the LICENSE.TXT file
009: * at the root path of the packaging that enclose this file.
010: * More information can be found at
011: * - http://dev.libresource.org/home/license
012: *
013: * Initial authors :
014: *
015: * Guillaume Bort / INRIA
016: * Francois Charoy / Universite Nancy 2
017: * Julien Forest / Artenum
018: * Claude Godart / Universite Henry Poincare
019: * Florent Jouille / INRIA
020: * Sebastien Jourdain / INRIA / Artenum
021: * Yves Lerumeur / Artenum
022: * Pascal Molli / Universite Henry Poincare
023: * Gerald Oster / INRIA
024: * Mariarosa Penzi / Artenum
025: * Gerard Sookahet / Artenum
026: * Raphael Tani / INRIA
027: *
028: * Contributors :
029: *
030: * Stephane Bagnier / Artenum
031: * Amadou Dia / Artenum-IUP Blois
032: * ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
033: */package org.libresource.so6.application.studio.history.viewer.util;
034:
035: import org.libresource.so6.core.command.Command;
036:
037: import java.awt.Component;
038:
039: import java.util.ArrayList;
040: import java.util.Iterator;
041:
042: import javax.swing.JTabbedPane;
043: import javax.swing.event.ChangeEvent;
044: import javax.swing.event.ChangeListener;
045:
046: /**
047: * @author smack
048: */
049: public class PlayerDispatcher extends JTabbedPane implements
050: FileHistoryPlayer, ChangeListener {
051: private ArrayList playerList;
052: private int currentIndex;
053: private WorkspaceColorManager colorManager;
054:
055: public PlayerDispatcher() {
056: playerList = new ArrayList();
057: addChangeListener(this );
058: }
059:
060: public void addPlayer(FileHistoryPlayer player, String label) {
061: playerList.add(player);
062:
063: if (colorManager != null) {
064: player.setWorkspaceColorManager(colorManager);
065: }
066:
067: addTab(label, (Component) player);
068: player.viewHistoryState(0);
069: }
070:
071: public Command viewHistoryState(int index) {
072: FileHistoryPlayer player = (FileHistoryPlayer) playerList
073: .get(getSelectedIndex());
074: currentIndex = index;
075:
076: return player.viewHistoryState(index);
077: }
078:
079: public String getState() throws Exception {
080: FileHistoryPlayer player = (FileHistoryPlayer) playerList
081: .get(getSelectedIndex());
082:
083: return player.getState();
084: }
085:
086: public void setWorkspaceColorManager(
087: WorkspaceColorManager colorManager) {
088: this .colorManager = colorManager;
089:
090: for (Iterator i = playerList.iterator(); i.hasNext();) {
091: FileHistoryPlayer player = (FileHistoryPlayer) i.next();
092: player.setWorkspaceColorManager(colorManager);
093: }
094: }
095:
096: public void stateChanged(ChangeEvent e) {
097: ((FileHistoryPlayer) playerList.get(getSelectedIndex()))
098: .viewHistoryState(currentIndex);
099: }
100: }
|