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.ui;
034:
035: import org.libresource.so6.application.studio.history.viewer.util.FileHistoryPlayer;
036: import org.libresource.so6.core.command.Command;
037:
038: import java.awt.BorderLayout;
039:
040: import java.util.Date;
041:
042: import javax.swing.JLabel;
043: import javax.swing.JPanel;
044: import javax.swing.JSlider;
045: import javax.swing.event.ChangeEvent;
046: import javax.swing.event.ChangeListener;
047:
048: /**
049: * @author smack
050: */
051: public class HistorySlideBar extends JPanel implements ChangeListener {
052: private JSlider slider;
053: private JLabel infos;
054: private FileHistoryPlayer player;
055: private int lastValue;
056:
057: public HistorySlideBar(FileHistoryPlayer player, int barSize) {
058: this .player = player;
059: this .infos = new JLabel("");
060: lastValue = -1;
061: slider = new JSlider(1, barSize, 1);
062: slider.setMajorTickSpacing(1);
063: slider.setMinorTickSpacing(1);
064: slider.setPaintTicks(true);
065: setLayout(new BorderLayout());
066: add(slider, BorderLayout.SOUTH);
067: add(infos, BorderLayout.NORTH);
068: slider.addChangeListener(this );
069: showCommandInfo(player.viewHistoryState(0));
070: }
071:
072: public void stateChanged(ChangeEvent e) {
073: int value = slider.getValue();
074:
075: if ((value != lastValue)
076: && !slider.getModel().getValueIsAdjusting()) {
077: showCommandInfo(player.viewHistoryState(value - 1));
078: lastValue = value;
079: }
080: }
081:
082: private void showCommandInfo(Command cmd) {
083: StringBuffer buffer = new StringBuffer();
084: buffer.append("<html><table>");
085: buffer.append("<tr><td>Command</td><td>:</td><td>");
086: buffer.append(cmd);
087: buffer.append("</td></tr>");
088: buffer.append("<tr><td>Conflict</td><td>:</td><td>");
089: buffer.append(cmd.isConflict());
090: buffer.append("</td></tr>");
091: buffer.append("<tr><td>Ticket</td><td>:</td><td>");
092: buffer.append(cmd.getTicket());
093: buffer.append("</td></tr>");
094: buffer.append("<tr><td>Origine</td><td>:</td><td>");
095: buffer.append(cmd.getWsName());
096: buffer.append("</td></tr>");
097: buffer.append("<tr><td>Time</td><td>:</td><td>");
098: buffer.append(new Date(cmd.getTime()).toString());
099: buffer.append("</td></tr>");
100: buffer.append("</table></html>");
101: infos.setText(buffer.toString());
102: }
103: }
|