LegacyConsoleArchive/jpexs-decompiler
1
0
Fork 0
mirror of https://git.huckle.dev/Huckles-Minecraft-Archive/jpexs-decompiler.git synced 2026-09-24 23:50:47 +00:00
Code Issues Packages Projects Releases Wiki Activity

format code

Browse Source
This commit is contained in:
[email protected]
2014-11-16 15:30:27 +01:00
parent 4246b92e85
commit 6d3974db53
30 changed files with 1484 additions and 1490 deletions
Download Patch File Download Diff File Expand all files Collapse all files
src/com/jpexs/decompiler/flash/gui/timeline/TimelineDepthPanel.java
+72 -72
View File
@@ -1,72 +1,72 @@
/*
* Copyright (C) 2010-2014 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 = "" + 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.backgroundColor);
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" : curr_d), padding, yofs + d * TimelinePanel.FRAME_HEIGHT - padding);
}
}
}
/*
* Copyright (C) 2010-2014 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.backgroundColor);
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);
}
}
}