/* * 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); } } }