mirror of
https://github.com/processing/processing4.git
synced 2026-02-03 21:59:20 +01:00
282 lines
8.7 KiB
Java
282 lines
8.7 KiB
Java
/* -*- mode: jde; c-basic-offset: 2; indent-tabs-mode: nil -*- */
|
|
|
|
/*
|
|
PdeEditorConsole - message console that sits below the program area
|
|
Part of the Processing project - http://Proce55ing.net
|
|
|
|
Copyright (c) 2001-03
|
|
Ben Fry, Massachusetts Institute of Technology and
|
|
Casey Reas, Interaction Design Institute Ivrea
|
|
|
|
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 2 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, write to the Free Software Foundation,
|
|
Inc., 59 Temple Place, Suite 330, Boston, MA 02111-1307 USA
|
|
*/
|
|
|
|
import java.awt.*;
|
|
import java.awt.event.*;
|
|
import java.io.*;
|
|
import javax.swing.*;
|
|
import javax.swing.text.*;
|
|
|
|
|
|
// debugging this class is tricky.. if it's throwing
|
|
// exceptions, don't take over System.err, and debug
|
|
// while watching just System.out
|
|
// or just write directly to systemOut or systemErr
|
|
|
|
public class PdeEditorConsole extends JScrollPane {
|
|
PdeEditor editor;
|
|
|
|
JTextPane consoleTextPane;
|
|
StyledDocument consoleDoc;
|
|
|
|
MutableAttributeSet stdStyle;
|
|
MutableAttributeSet errStyle;
|
|
|
|
boolean cerror;
|
|
|
|
static PrintStream systemOut;
|
|
static PrintStream systemErr;
|
|
|
|
static PrintStream consoleOut;
|
|
static PrintStream consoleErr;
|
|
|
|
static OutputStream stdoutFile;
|
|
static OutputStream stderrFile;
|
|
|
|
|
|
public PdeEditorConsole(PdeEditor editor) {
|
|
this.editor = editor;
|
|
|
|
consoleTextPane = new JTextPane() {
|
|
public void paint(Graphics g) {
|
|
#ifdef JDK13
|
|
if (PdeBase.platform == PdeBase.MACOSX) {
|
|
if (PdeBase.getBoolean("editor.console.antialias",
|
|
false) == false) {
|
|
Graphics2D g2 = (Graphics2D) g;
|
|
g2.setRenderingHint(RenderingHints.KEY_TEXT_ANTIALIASING,
|
|
RenderingHints.VALUE_TEXT_ANTIALIAS_OFF);
|
|
}
|
|
}
|
|
#endif
|
|
super.paint(g);
|
|
}
|
|
};
|
|
consoleTextPane.setEditable(false);
|
|
consoleDoc = consoleTextPane.getStyledDocument();
|
|
|
|
// necessary?
|
|
MutableAttributeSet standard = new SimpleAttributeSet();
|
|
StyleConstants.setAlignment(standard, StyleConstants.ALIGN_LEFT);
|
|
consoleDoc.setParagraphAttributes(0, 0, standard, true);
|
|
|
|
// build styles for different types of console output
|
|
Color bgColor = PdeBase.getColor("editor.console.bgcolor",
|
|
new Color(26, 26, 26));
|
|
Color fgColorOut = PdeBase.getColor("editor.console.fgcolor.output",
|
|
new Color(153, 153, 153));
|
|
Color fgColorErr = PdeBase.getColor("editor.console.fgcolor.error",
|
|
new Color(204, 51, 0));
|
|
Font font = PdeBase.getFont("editor.console.font",
|
|
new Font("Monospaced", Font.PLAIN, 11));
|
|
|
|
stdStyle = new SimpleAttributeSet();
|
|
StyleConstants.setForeground(stdStyle, fgColorOut);
|
|
StyleConstants.setBackground(stdStyle, bgColor);
|
|
StyleConstants.setFontSize(stdStyle, font.getSize());
|
|
StyleConstants.setFontFamily(stdStyle, font.getFamily());
|
|
StyleConstants.setBold(stdStyle, font.isBold());
|
|
StyleConstants.setItalic(stdStyle, font.isItalic());
|
|
|
|
errStyle = new SimpleAttributeSet();
|
|
StyleConstants.setForeground(errStyle, fgColorErr);
|
|
StyleConstants.setBackground(errStyle, bgColor);
|
|
StyleConstants.setFontSize(errStyle, font.getSize());
|
|
StyleConstants.setFontFamily(errStyle, font.getFamily());
|
|
StyleConstants.setBold(errStyle, font.isBold());
|
|
StyleConstants.setItalic(errStyle, font.isItalic());
|
|
|
|
consoleTextPane.setBackground(bgColor);
|
|
|
|
// add the jtextpane to this scrollpane
|
|
this.setViewportView(consoleTextPane);
|
|
|
|
// calculate height of a line of text in pixels
|
|
// and size window accordingly
|
|
FontMetrics metrics = this.getFontMetrics(font);
|
|
int height = metrics.getAscent() + metrics.getDescent();
|
|
int lines = PdeBase.getInteger("editor.console.lines", 6);
|
|
int sizeFudge = 10; // unclear why this is necessary, but it is
|
|
Dimension prefDimension =
|
|
new Dimension(1024, (height * lines) + sizeFudge);
|
|
setPreferredSize(prefDimension);
|
|
|
|
if (systemOut == null) {
|
|
systemOut = System.out;
|
|
systemErr = System.err;
|
|
|
|
// macos9/macosx do this by default, disable for those platforms
|
|
boolean tod = ((PdeBase.platform != PdeBase.MACOSX) &&
|
|
(PdeBase.platform != PdeBase.MACOS9));
|
|
|
|
if (PdeBase.getBoolean("editor.console.out.enabled", tod)) {
|
|
String outFileName =
|
|
PdeBase.get("editor.console.out.file", "lib/stdout.txt");
|
|
try {
|
|
stdoutFile = new FileOutputStream(outFileName);
|
|
} catch (IOException e) {
|
|
e.printStackTrace();
|
|
}
|
|
}
|
|
|
|
if (PdeBase.getBoolean("editor.console.err.enabled", tod)) {
|
|
String errFileName =
|
|
PdeBase.get("editor.console.err.file", "lib/stderr.txt");
|
|
try {
|
|
stderrFile = new FileOutputStream(errFileName);
|
|
} catch (IOException e) {
|
|
e.printStackTrace();
|
|
}
|
|
}
|
|
|
|
consoleOut =
|
|
new PrintStream(new PdeEditorConsoleStream(this, false, stdoutFile));
|
|
consoleErr =
|
|
new PrintStream(new PdeEditorConsoleStream(this, true, stderrFile));
|
|
|
|
if (PdeBase.getBoolean("editor.console.enabled", true)) {
|
|
System.setOut(consoleOut);
|
|
System.setErr(consoleErr);
|
|
}
|
|
}
|
|
}
|
|
|
|
|
|
public void write(byte b[], int offset, int length, boolean err) {
|
|
if (err != cerror) {
|
|
// advance the line because switching between err/out streams
|
|
// potentially, could check whether we're already on a new line
|
|
message("", cerror, true);
|
|
}
|
|
|
|
// we could do some cross platform CR/LF mangling here before outputting
|
|
|
|
// add text to output document
|
|
message(new String(b, offset, length), err, false);
|
|
// set last error state
|
|
cerror = err;
|
|
}
|
|
|
|
|
|
public void message(String what, boolean err, boolean advance) {
|
|
// under osx, suppress the spew about the serial port
|
|
// to avoid an error every time someone loads their app
|
|
// (the error is dealt with in PdeBase with a message dialog)
|
|
if (PdeBase.platform == PdeBase.MACOSX) {
|
|
if (what.equals("Error loading SolarisSerial: java.lang.UnsatisfiedLinkError: no SolarisSerialParallel in java.library.path")) return;
|
|
if (what.equals("Caught java.lang.UnsatisfiedLinkError: readRegistrySerial while loading driver com.sun.comm.SolarisDriver")) return;
|
|
}
|
|
|
|
// to console display
|
|
appendText(what, err);
|
|
|
|
if (err) {
|
|
systemErr.print(what);
|
|
} else {
|
|
systemOut.print(what);
|
|
}
|
|
|
|
if (advance) {
|
|
appendText("\n", err);
|
|
if (err) {
|
|
systemErr.println();
|
|
} else {
|
|
systemOut.println();
|
|
}
|
|
}
|
|
}
|
|
|
|
|
|
private void appendText(String text, boolean err) {
|
|
try {
|
|
consoleDoc.insertString(consoleDoc.getLength(), text,
|
|
err ? errStyle : stdStyle);
|
|
|
|
// always move to the end of the text as it's added
|
|
consoleTextPane.setCaretPosition(consoleDoc.getLength());
|
|
|
|
} catch (Exception e) { }
|
|
}
|
|
}
|
|
|
|
|
|
class PdeEditorConsoleStream extends OutputStream {
|
|
PdeEditorConsole parent;
|
|
boolean err; // whether stderr or stdout
|
|
byte single[] = new byte[1];
|
|
OutputStream echo;
|
|
|
|
public PdeEditorConsoleStream(PdeEditorConsole parent,
|
|
boolean err, OutputStream echo) {
|
|
this.parent = parent;
|
|
this.err = err;
|
|
this.echo = echo;
|
|
}
|
|
|
|
public void close() { }
|
|
|
|
public void flush() { }
|
|
|
|
public void write(byte b[]) { // appears never to be used
|
|
parent.write(b, 0, b.length, err);
|
|
if (echo != null) {
|
|
try {
|
|
echo.write(b); //, 0, b.length);
|
|
echo.flush();
|
|
} catch (IOException e) {
|
|
e.printStackTrace();
|
|
echo = null;
|
|
}
|
|
}
|
|
}
|
|
|
|
public void write(byte b[], int offset, int length) {
|
|
parent.write(b, offset, length, err);
|
|
if (echo != null) {
|
|
try {
|
|
echo.write(b, offset, length);
|
|
echo.flush();
|
|
} catch (IOException e) {
|
|
e.printStackTrace();
|
|
echo = null;
|
|
}
|
|
}
|
|
}
|
|
|
|
public void write(int b) {
|
|
single[0] = (byte)b;
|
|
parent.write(single, 0, 1, err);
|
|
if (echo != null) {
|
|
try {
|
|
echo.write(b);
|
|
echo.flush();
|
|
} catch (IOException e) {
|
|
e.printStackTrace();
|
|
echo = null;
|
|
}
|
|
}
|
|
}
|
|
}
|