/**
* Create the name label if needed.
*
* @return The component that holds the name label.
*/
protected JComponent getLabelComponent() {
if (nameLabel == null) {
nameLabel = new JLabel();
Font font = nameLabel.getFont();
nameLabel.setFont(font.deriveFont(Font.ITALIC | Font.BOLD));
labelComponent = GuiUtils.hflow(Misc.newList(new JLabel("Layout Model: "), nameLabel));
}
return labelComponent;
}
public void adjustFont(int w, int h) {
if (h <= 0) return;
int oldH = rHeight;
if (font == null) {
font = getFont();
fontH = font.getSize();
rHeight = fontH;
}
nHeight = h;
if (fontH >= h) rHeight = h - 2;
else rHeight = fontH;
if ((rHeight < 10) && (fontH > 10)) rHeight = 10;
if (oldH != rHeight) {
// Font curFont = font.deriveFont((float) rHeight);
Font curFont = DisplayOptions.getFont(font.getName(), font.getStyle(), rHeight);
setFont(curFont);
}
if (rHeight > h) rHeight = h;
}
public void changeFont() {
font = DisplayOptions.getFont(fontName, fontStyle, fontSize);
setFont(font);
fontH = font.getSize();
rHeight = fontH;
if (!inEditMode) {
if ((curDim.height > 0) && (rHeight > curDim.height)) {
adjustFont(curDim.width, curDim.height);
}
}
repaint();
}
private void updateText() {
Font font = getFont();
String styleString;
switch (font.getStyle()) {
case Font.PLAIN:
styleString = jEdit.getProperty("font-selector.plain");
break;
case Font.BOLD:
styleString = jEdit.getProperty("font-selector.bold");
break;
case Font.ITALIC:
styleString = jEdit.getProperty("font-selector.italic");
break;
case Font.BOLD | Font.ITALIC:
styleString = jEdit.getProperty("font-selector.bolditalic");
break;
default:
styleString = "UNKNOWN!!!???";
break;
}
setText(font.getName() + ' ' + font.getSize() + ' ' + styleString);
}
public void setEditMode(boolean s) {
if (s) {
addMouseListener(ml);
setOpaque(s);
if (font != null) {
setFont(font);
fontH = font.getSize();
rHeight = fontH;
}
defDim = getPreferredSize();
curLoc.x = defLoc.x;
curLoc.y = defLoc.y;
curDim.width = defDim.width;
curDim.height = defDim.height;
xRatio = 1.0;
yRatio = 1.0;
} else {
removeMouseListener(ml);
if ((bg != null) || (isActive < 1)) setOpaque(true);
else setOpaque(false);
}
inEditMode = s;
}
private void init(Font font) {
JPanel content = new JPanel(new BorderLayout());
content.setBorder(new EmptyBorder(12, 12, 12, 12));
setContentPane(content);
JPanel listPanel = new JPanel(new GridLayout(1, 3, 6, 6));
String[] fonts;
try {
fonts = getFontList();
} catch (Exception e) {
Log.log(Log.ERROR, this, "Broken Java implementation!");
Log.log(Log.ERROR, this, e);
fonts = new String[] {"Broken Java implementation!"};
}
JPanel familyPanel =
createTextFieldAndListPanel(
"font-selector.family", familyField = new JTextField(), familyList = new JList(fonts));
listPanel.add(familyPanel);
String[] sizes = {"9", "10", "12", "14", "16", "18", "24"};
JPanel sizePanel =
createTextFieldAndListPanel(
"font-selector.size", sizeField = new JTextField(), sizeList = new JList(sizes));
listPanel.add(sizePanel);
String[] styles = {
jEdit.getProperty("font-selector.plain"),
jEdit.getProperty("font-selector.bold"),
jEdit.getProperty("font-selector.italic"),
jEdit.getProperty("font-selector.bolditalic")
};
JPanel stylePanel =
createTextFieldAndListPanel(
"font-selector.style", styleField = new JTextField(), styleList = new JList(styles));
styleField.setEditable(false);
listPanel.add(stylePanel);
familyList.setSelectedValue(font.getFamily(), true);
familyField.setText(font.getFamily());
sizeList.setSelectedValue(String.valueOf(font.getSize()), true);
sizeField.setText(String.valueOf(font.getSize()));
styleList.setSelectedIndex(font.getStyle());
styleField.setText((String) styleList.getSelectedValue());
ListHandler listHandler = new ListHandler();
familyList.addListSelectionListener(listHandler);
sizeList.addListSelectionListener(listHandler);
styleList.addListSelectionListener(listHandler);
content.add(BorderLayout.NORTH, listPanel);
preview =
new JLabel(jEdit.getProperty("font-selector.long-text")) {
public void paintComponent(Graphics g) {
if (fontSelector != null) fontSelector.setAntiAliasEnabled(g);
super.paintComponent(g);
}
};
preview.setBorder(new TitledBorder(jEdit.getProperty("font-selector.preview")));
updatePreview();
Dimension prefSize = preview.getPreferredSize();
prefSize.height = 50;
preview.setPreferredSize(prefSize);
content.add(BorderLayout.CENTER, preview);
JPanel buttons = new JPanel();
buttons.setLayout(new BoxLayout(buttons, BoxLayout.X_AXIS));
buttons.setBorder(new EmptyBorder(12, 0, 0, 0));
buttons.add(Box.createGlue());
ok = new JButton(jEdit.getProperty("common.ok"));
ok.addActionListener(new ActionHandler());
getRootPane().setDefaultButton(ok);
buttons.add(ok);
buttons.add(Box.createHorizontalStrut(6));
cancel = new JButton(jEdit.getProperty("common.cancel"));
cancel.addActionListener(new ActionHandler());
buttons.add(cancel);
buttons.add(Box.createGlue());
content.add(BorderLayout.SOUTH, buttons);
pack();
setLocationRelativeTo(getParent());
setVisible(true);
}
@Override
public void paintComponent(Graphics g) {
super.paintComponent(g);
int width = getWidth() - rightMargin - leftMargin - 10;
int height = getHeight() - topMargin - bottomMargin;
if (width <= 0 || height <= 0) {
// not enough room to paint anything
return;
}
Color oldColor = g.getColor();
Font oldFont = g.getFont();
Color fg = getForeground();
Color bg = getBackground();
boolean bgIsLight = (bg.getRed() > 200 && bg.getGreen() > 200 && bg.getBlue() > 200);
((Graphics2D) g)
.setRenderingHint(RenderingHints.KEY_ANTIALIASING, RenderingHints.VALUE_ANTIALIAS_ON);
if (smallFont == null) {
smallFont = oldFont.deriveFont(9.0F);
}
r.x = leftMargin - 5;
r.y = topMargin - 8;
r.width = getWidth() - leftMargin - rightMargin;
r.height = getHeight() - topMargin - bottomMargin + 16;
if (border == null) {
// By setting colors here, we avoid recalculating them
// over and over.
border =
new BevelBorder(
BevelBorder.LOWERED,
getBackground().brighter().brighter(),
getBackground().brighter(),
getBackground().darker().darker(),
getBackground().darker());
}
border.paintBorder(this, g, r.x, r.y, r.width, r.height);
// Fill background color
g.setColor(bgColor);
g.fillRect(r.x + 2, r.y + 2, r.width - 4, r.height - 4);
g.setColor(oldColor);
long tMin = Long.MAX_VALUE;
long tMax = Long.MIN_VALUE;
long vMin = Long.MAX_VALUE;
long vMax = 1;
int w = getWidth() - rightMargin - leftMargin - 10;
int h = getHeight() - topMargin - bottomMargin;
if (times.size > 1) {
tMin = Math.min(tMin, times.time(0));
tMax = Math.max(tMax, times.time(times.size - 1));
}
long viewRangeMS;
if (viewRange > 0) {
viewRangeMS = viewRange * MINUTE;
} else {
// Display full time range, but no less than a minute
viewRangeMS = Math.max(tMax - tMin, 1 * MINUTE);
}
// Calculate min/max values
for (Sequence seq : seqs) {
if (seq.size > 0) {
for (int i = 0; i < seq.size; i++) {
if (seq.size == 1 || times.time(i) >= tMax - viewRangeMS) {
long val = seq.value(i);
if (val > Long.MIN_VALUE) {
vMax = Math.max(vMax, val);
vMin = Math.min(vMin, val);
}
}
}
} else {
vMin = 0L;
}
if (unit == Unit.BYTES || !seq.isPlotted) {
// We'll scale only to the first (main) value set.
// TODO: Use a separate property for this.
break;
}
}
// Normalize scale
vMax = normalizeMax(vMax);
if (vMin > 0) {
if (vMax / vMin > 4) {
vMin = 0;
} else {
vMin = normalizeMin(vMin);
}
}
g.setColor(fg);
// Axes
// Draw vertical axis
int x = leftMargin - 18;
int y = topMargin;
FontMetrics fm = g.getFontMetrics();
g.drawLine(x, y, x, y + h);
int n = 5;
if (("" + vMax).startsWith("2")) {
n = 4;
} else if (("" + vMax).startsWith("3")) {
n = 6;
} else if (("" + vMax).startsWith("4")) {
n = 4;
} else if (("" + vMax).startsWith("6")) {
n = 6;
} else if (("" + vMax).startsWith("7")) {
n = 7;
} else if (("" + vMax).startsWith("8")) {
n = 8;
} else if (("" + vMax).startsWith("9")) {
n = 3;
}
// Ticks
ArrayList<Long> tickValues = new ArrayList<Long>();
tickValues.add(vMin);
for (int i = 0; i < n; i++) {
long v = i * vMax / n;
if (v > vMin) {
tickValues.add(v);
}
}
tickValues.add(vMax);
n = tickValues.size();
String[] tickStrings = new String[n];
for (int i = 0; i < n; i++) {
long v = tickValues.get(i);
tickStrings[i] = getSizeString(v, vMax);
}
// Trim trailing decimal zeroes.
if (decimals > 0) {
boolean trimLast = true;
boolean removedDecimalPoint = false;
do {
for (String str : tickStrings) {
if (!(str.endsWith("0") || str.endsWith("."))) {
trimLast = false;
break;
}
}
if (trimLast) {
if (tickStrings[0].endsWith(".")) {
removedDecimalPoint = true;
}
for (int i = 0; i < n; i++) {
String str = tickStrings[i];
tickStrings[i] = str.substring(0, str.length() - 1);
}
}
} while (trimLast && !removedDecimalPoint);
}
// Draw ticks
int lastY = Integer.MAX_VALUE;
for (int i = 0; i < n; i++) {
long v = tickValues.get(i);
y = topMargin + h - (int) (h * (v - vMin) / (vMax - vMin));
g.drawLine(x - 2, y, x + 2, y);
String s = tickStrings[i];
if (unit == Unit.PERCENT) {
s += "%";
}
int sx = x - 6 - fm.stringWidth(s);
if (y < lastY - 13) {
if (checkLeftMargin(sx)) {
// Wait for next repaint
return;
}
g.drawString(s, sx, y + 4);
}
// Draw horizontal grid line
g.setColor(Color.lightGray);
g.drawLine(r.x + 4, y, r.x + r.width - 4, y);
g.setColor(fg);
lastY = y;
}
// Draw horizontal axis
x = leftMargin;
y = topMargin + h + 15;
g.drawLine(x, y, x + w, y);
long t1 = tMax;
if (t1 <= 0L) {
// No data yet, so draw current time
t1 = System.currentTimeMillis();
}
long tz = timeDF.getTimeZone().getOffset(t1);
long tickInterval = calculateTickInterval(w, 40, viewRangeMS);
if (tickInterval > 3 * HOUR) {
tickInterval = calculateTickInterval(w, 80, viewRangeMS);
}
long t0 = tickInterval - (t1 - viewRangeMS + tz) % tickInterval;
while (t0 < viewRangeMS) {
x = leftMargin + (int) (w * t0 / viewRangeMS);
g.drawLine(x, y - 2, x, y + 2);
long t = t1 - viewRangeMS + t0;
String str = formatClockTime(t);
g.drawString(str, x, y + 16);
// if (tickInterval > (1 * HOUR) && t % (1 * DAY) == 0) {
if ((t + tz) % (1 * DAY) == 0) {
str = formatDate(t);
g.drawString(str, x, y + 27);
}
// Draw vertical grid line
g.setColor(Color.lightGray);
g.drawLine(x, topMargin, x, topMargin + h);
g.setColor(fg);
t0 += tickInterval;
}
// Plot values
int start = 0;
int nValues = 0;
int nLists = seqs.size();
if (nLists > 0) {
nValues = seqs.get(0).size;
}
if (nValues == 0) {
g.setColor(oldColor);
return;
} else {
Sequence seq = seqs.get(0);
// Find starting point
for (int p = 0; p < seq.size; p++) {
if (times.time(p) >= tMax - viewRangeMS) {
start = p;
break;
}
}
}
// Optimization: collapse plot of more than four values per pixel
int pointsPerPixel = (nValues - start) / w;
if (pointsPerPixel < 4) {
pointsPerPixel = 1;
}
// Draw graphs
// Loop backwards over sequences because the first needs to be painted on top
for (int i = nLists - 1; i >= 0; i--) {
int x0 = leftMargin;
int y0 = topMargin + h + 1;
Sequence seq = seqs.get(i);
if (seq.isPlotted && seq.size > 0) {
// Paint twice, with white and with color
for (int pass = 0; pass < 2; pass++) {
g.setColor((pass == 0) ? Color.white : seq.color);
int x1 = -1;
long v1 = -1;
for (int p = start; p < nValues; p += pointsPerPixel) {
// Make sure we get the last value
if (pointsPerPixel > 1 && p >= nValues - pointsPerPixel) {
p = nValues - 1;
}
int x2 = (int) (w * (times.time(p) - (t1 - viewRangeMS)) / viewRangeMS);
long v2 = seq.value(p);
if (v2 >= vMin && v2 <= vMax) {
int y2 = (int) (h * (v2 - vMin) / (vMax - vMin));
if (x1 >= 0 && v1 >= vMin && v1 <= vMax) {
int y1 = (int) (h * (v1 - vMin) / (vMax - vMin));
if (y1 == y2) {
// fillrect is much faster
g.fillRect(x0 + x1, y0 - y1 - pass, x2 - x1, 1);
} else {
Graphics2D g2d = (Graphics2D) g;
Stroke oldStroke = null;
if (seq.transitionStroke != null) {
oldStroke = g2d.getStroke();
g2d.setStroke(seq.transitionStroke);
}
g.drawLine(x0 + x1, y0 - y1 - pass, x0 + x2, y0 - y2 - pass);
if (oldStroke != null) {
g2d.setStroke(oldStroke);
}
}
}
}
x1 = x2;
v1 = v2;
}
}
// Current value
long v = seq.value(seq.size - 1);
if (v >= vMin && v <= vMax) {
if (bgIsLight) {
g.setColor(seq.color);
} else {
g.setColor(fg);
}
x = r.x + r.width + 2;
y = topMargin + h - (int) (h * (v - vMin) / (vMax - vMin));
// a small triangle/arrow
g.fillPolygon(new int[] {x + 2, x + 6, x + 6}, new int[] {y, y + 3, y - 3}, 3);
}
g.setColor(fg);
}
}
int[] valueStringSlots = new int[nLists];
for (int i = 0; i < nLists; i++) valueStringSlots[i] = -1;
for (int i = 0; i < nLists; i++) {
Sequence seq = seqs.get(i);
if (seq.isPlotted && seq.size > 0) {
// Draw current value
// TODO: collapse values if pointsPerPixel >= 4
long v = seq.value(seq.size - 1);
if (v >= vMin && v <= vMax) {
x = r.x + r.width + 2;
y = topMargin + h - (int) (h * (v - vMin) / (vMax - vMin));
int y2 = getValueStringSlot(valueStringSlots, y, 2 * 10, i);
g.setFont(smallFont);
if (bgIsLight) {
g.setColor(seq.color);
} else {
g.setColor(fg);
}
String curValue = getFormattedValue(v, true);
if (unit == Unit.PERCENT) {
curValue += "%";
}
int valWidth = fm.stringWidth(curValue);
String legend = (displayLegend ? seq.name : "");
int legendWidth = fm.stringWidth(legend);
if (checkRightMargin(valWidth) || checkRightMargin(legendWidth)) {
// Wait for next repaint
return;
}
g.drawString(legend, x + 17, Math.min(topMargin + h, y2 + 3 - 10));
g.drawString(curValue, x + 17, Math.min(topMargin + h + 10, y2 + 3));
// Maybe draw a short line to value
if (y2 > y + 3) {
g.drawLine(x + 9, y + 2, x + 14, y2);
} else if (y2 < y - 3) {
g.drawLine(x + 9, y - 2, x + 14, y2);
}
}
g.setFont(oldFont);
g.setColor(fg);
}
}
g.setColor(oldColor);
}
/**
* Initialize the dialog box, creating it's GUI components and setting their initial values.
*
* @param title the dialog's title
* @param message the general message
*/
protected void initialize(final String title, final String message_) {
String message = message_;
//
// Configure the window.
//
if (title == null) {
this.setTitle("Progress");
} else {
this.setTitle(title);
}
this.setDefaultCloseOperation(WindowConstants.DISPOSE_ON_CLOSE);
//
// Add an empty border around the dialog, and use a border
// layout. Prevent resizing.
//
this.setResizable(false);
final Container pane = this.getContentPane();
final JPanel content = new JPanel();
content.setLayout(new BorderLayout());
content.setBorder(new EmptyBorder(10, 10, 10, 10));
pane.add(content);
//
// Add the general message.
//
if (message == null) {
message = "";
}
this.messageLabel = new JLabel(message);
final Font font = this.messageLabel.getFont();
final Font boldFont = font.deriveFont(Font.BOLD);
this.messageLabel.setFont(boldFont);
content.add(this.messageLabel, BorderLayout.NORTH);
//
// Add the note, initially empty.
//
this.noteLabel = new JLabel(" ");
content.add(this.noteLabel, BorderLayout.CENTER);
//
// Add the progress bar.
//
this.progressBar = new JProgressBar(SwingConstants.HORIZONTAL, 0, 100);
this.progressBar.setBorderPainted(true);
this.progressBar.setStringPainted(false);
this.progressBar.setValue(0);
final Dimension d = new Dimension(300, 20);
this.progressBar.setMinimumSize(d);
this.progressBar.setPreferredSize(d);
content.add(this.progressBar, BorderLayout.SOUTH);
//
// Pack and size the dialog.
//
this.pack();
this.validate();
//
// Listen to status events.
//
Status.addStatusListener(this);
}