mirror of
https://github.com/dmolony/DiskBrowser.git
synced 2024-06-06 21:29:27 +00:00
101 lines
2.5 KiB
Java
101 lines
2.5 KiB
Java
package com.bytezone.diskbrowser.gui;
|
|
|
|
import java.awt.Color;
|
|
import java.awt.Dimension;
|
|
import java.awt.Font;
|
|
import java.awt.Graphics;
|
|
|
|
import javax.swing.JPanel;
|
|
|
|
import com.bytezone.common.Platform;
|
|
import com.bytezone.common.Platform.FontSize;
|
|
import com.bytezone.common.Platform.FontType;
|
|
import com.bytezone.diskbrowser.disk.FormattedDisk;
|
|
import com.bytezone.diskbrowser.disk.SectorType;
|
|
import com.bytezone.diskbrowser.gui.DiskLayoutPanel.LayoutDetails;
|
|
|
|
class DiskLegendPanel extends JPanel
|
|
{
|
|
static final int LEFT = 10;
|
|
static final int TOP = 10;
|
|
|
|
FormattedDisk disk;
|
|
LayoutDetails layoutDetails;
|
|
Font font;
|
|
|
|
public DiskLegendPanel ()
|
|
{
|
|
// font = new Font ("SansSerif", Font.PLAIN, 12);
|
|
font = Platform.getFont (FontType.SANS_SERIF, FontSize.BASE);
|
|
setBackground (Color.WHITE);
|
|
}
|
|
|
|
public void setDisk (FormattedDisk disk, LayoutDetails details)
|
|
{
|
|
this.disk = disk;
|
|
layoutDetails = details;
|
|
repaint ();
|
|
}
|
|
|
|
void changeFont (Font font)
|
|
{
|
|
this.font = font;
|
|
repaint ();
|
|
}
|
|
|
|
@Override
|
|
public Dimension getPreferredSize ()
|
|
{
|
|
return new Dimension (0, 160); // width/height
|
|
}
|
|
|
|
@Override
|
|
protected void paintComponent (Graphics g)
|
|
{
|
|
super.paintComponent (g);
|
|
|
|
if (disk == null)
|
|
return;
|
|
|
|
g.setFont (font);
|
|
|
|
int count = 0;
|
|
int lineHeight = 20;
|
|
|
|
for (SectorType type : disk.getSectorTypeList ())
|
|
{
|
|
int x = LEFT + (count % 2 == 0 ? 0 : 145);
|
|
int y = TOP + count++ / 2 * lineHeight;
|
|
|
|
// draw border
|
|
g.setColor (Color.GRAY);
|
|
g.drawRect (x, y, layoutDetails.block.width, layoutDetails.block.height);
|
|
|
|
// draw the colour
|
|
g.setColor (type.colour);
|
|
if (false)
|
|
g.fillRect (x + 2, y + 2, layoutDetails.block.width - 3,
|
|
layoutDetails.block.height - 3);
|
|
else
|
|
g.fillRect (x + 1, y + 1, layoutDetails.block.width - 2,
|
|
layoutDetails.block.height - 2);
|
|
|
|
// draw the text
|
|
g.setColor (Color.BLACK);
|
|
g.drawString (type.name, x + layoutDetails.block.width + 4, y + 12);
|
|
}
|
|
|
|
int y = ++count / 2 * lineHeight + TOP * 2 + 5;
|
|
int val = disk.falseNegativeBlocks ();
|
|
if (val > 0)
|
|
{
|
|
g.drawString (val + " empty sector" + (val == 1 ? "" : "s")
|
|
+ " marked as unavailable", 10, y);
|
|
y += lineHeight;
|
|
}
|
|
val = disk.falsePositiveBlocks ();
|
|
if (val > 0)
|
|
g.drawString (val + " used sector" + (val == 1 ? "" : "s") + " marked as available",
|
|
10, y);
|
|
}
|
|
} |