/*
* Copyright (C) 2010-2016 JPEXS
*
* This program is free software: you can redistribute it and/or modify
* it under the terms of the GNU General Public License as published by
* the Free Software Foundation, either version 3 of the License, or
* (at your option) any later version.
*
* This program is distributed in the hope that it will be useful,
* but WITHOUT ANY WARRANTY; without even the implied warranty of
* MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
* GNU General Public License for more details.
*
* You should have received a copy of the GNU General Public License
* along with this program. If not, see <http://www.gnu.org/licenses/>.
*/
package com.jpexs.decompiler.flash.gui.timeline;
import com.jpexs.decompiler.flash.timeline.Timeline;
import java.awt.Color;
import java.awt.Dimension;
import java.awt.Graphics;
import java.awt.Rectangle;
import javax.swing.JPanel;
/**
*
* @author JPEXS
*/
public class TimelineDepthPanel extends JPanel {
private final int maxDepth;
public static final int padding = 5;
public static final float fontSize = 10.0f;
private int scrollOffset = 0;
public static final Color borderColor = Color.lightGray;
public static final Color fontColor = Color.black;
public TimelineDepthPanel(Timeline timeline) {
maxDepth = timeline.getMaxDepth();
String maxDepthStr = Integer.toString(maxDepth);
setFont(getFont().deriveFont(fontSize));
int maxDepthW = getFontMetrics(getFont()).stringWidth(maxDepthStr);
Dimension dim = new Dimension(maxDepthW + 2 * padding, Integer.MAX_VALUE);
setSize(dim);
setPreferredSize(dim);
}
public void scroll(int offset) {
this.scrollOffset = offset;
repaint();
}
@Override
protected void paintComponent(Graphics g) {
Rectangle clip = g.getClipBounds();
int yofs = TimelinePanel.FRAME_HEIGHT - (scrollOffset % TimelinePanel.FRAME_HEIGHT);
int start_d = (scrollOffset + clip.y) / TimelinePanel.FRAME_HEIGHT;
int end_d = (scrollOffset + clip.y + clip.height) / TimelinePanel.FRAME_HEIGHT;
int d_count = end_d - start_d;
g.setColor(TimelinePanel.getBackgroundColor());
g.fillRect(0, 0, getWidth(), getHeight());
for (int d = 0; d < d_count; d++) {
g.setColor(borderColor);
g.drawLine(0, yofs + d * TimelinePanel.FRAME_HEIGHT + 1, getWidth(), yofs + d * TimelinePanel.FRAME_HEIGHT + 1);
int curr_d = start_d + d;
g.setColor(fontColor);
g.drawString(start_d + d == 0 ? "a" : Integer.toString(curr_d), padding, yofs + d * TimelinePanel.FRAME_HEIGHT - padding);
}
}
}