mirror of
https://github.com/processing/processing4.git
synced 2026-01-30 20:01:09 +01:00
865 lines
24 KiB
Java
865 lines
24 KiB
Java
#ifdef EDITOR
|
|
|
|
import java.awt.*;
|
|
import java.io.*;
|
|
import java.net.*;
|
|
import java.util.*;
|
|
import java.util.zip.*;
|
|
|
|
|
|
// play, stop, open, save, courseware, print, beautify
|
|
// height of button panel is 35
|
|
|
|
public class PdeEditor extends Panel implements PdeEnvironment {
|
|
static final String DEFAULT_PROGRAM = "// type program here\n";
|
|
|
|
// otherwise, if the window is resized with the message label
|
|
// set to blank, it's preferredSize() will be fukered
|
|
static final String EMPTY = " ";
|
|
PdeApplet app;
|
|
|
|
PdeEditorButtons buttons;
|
|
//PdeGraphics graphics;
|
|
PdeRunner runner;
|
|
|
|
Frame frame;
|
|
Window fullScreenWindow;
|
|
|
|
Label status;
|
|
TextArea textarea;
|
|
|
|
String lastDirectory;
|
|
String lastFile;
|
|
|
|
boolean playing;
|
|
|
|
|
|
public PdeEditor(PdeApplet app, String program) {
|
|
this.app = app;
|
|
setLayout(new BorderLayout());
|
|
|
|
Color bgColor =
|
|
PdeApplet.getColor("bg_color", new Color(51, 102, 153));
|
|
Color bgStippleColor =
|
|
PdeApplet.getColor("bg_stipple_color", null);
|
|
Color tickColor =
|
|
PdeApplet.getColor("tick_color", new Color(204, 204, 204));
|
|
Color gutterBgColor =
|
|
PdeApplet.getColor("gutter_bg_color", new Color(0, 51, 102));
|
|
Color buttonBgColor =
|
|
PdeApplet.getColor("button_bg_color", new Color(153, 153, 153));
|
|
Color statusBgColor =
|
|
PdeApplet.getColor("status_bg_color", new Color(204, 204, 204));
|
|
|
|
//int gwidth = PdeApplet.getInteger("graphics_width", 101);
|
|
//int gheight = PdeApplet.getInteger("graphics_height", 101);
|
|
|
|
//add("North", new PdeEditorLicensePlate());
|
|
|
|
//Panel left = new Panel();
|
|
//left.setLayout(new BorderLayout());
|
|
|
|
Panel top = new Panel();
|
|
top.setBackground(buttonBgColor);
|
|
top.setLayout(new BorderLayout());
|
|
|
|
//boolean privileges = PdeApplet.hasFullPrivileges();
|
|
//boolean courseware = PdeApplet.get("save_as") != null;
|
|
buttons = new PdeEditorButtons(this); //, privileges, courseware,
|
|
//(privileges & !courseware), false);
|
|
buttons.setBackground(buttonBgColor);
|
|
//add("North", buttons);
|
|
//top.add("North", buttons);
|
|
top.add("West", buttons);
|
|
|
|
Label buttonStatus =
|
|
new Label(PdeEditorButtons.EMPTY_STATUS, Label.RIGHT);
|
|
buttonStatus.setBackground(buttonBgColor);
|
|
top.add("East", buttonStatus);
|
|
|
|
buttons.status = buttonStatus;
|
|
|
|
/*
|
|
graphics = new PdeGraphics(gwidth, gheight, bgColor);
|
|
#ifndef OPENGL
|
|
graphics = new PdeEditorGraphics(gwidth, gheight, tickColor,
|
|
bgColor, bgStippleColor, this);
|
|
#else
|
|
if (PdeApplet.getBoolean("graphics_3D", false)) {
|
|
graphics = new PdeEditorGraphics3D(gwidth, gheight, tickColor,
|
|
bgColor, bgStippleColor, this);
|
|
} else {
|
|
graphics = new PdeEditorGraphics(gwidth, gheight, tickColor,
|
|
bgColor, bgStippleColor, this);
|
|
}
|
|
#endif
|
|
*/
|
|
|
|
//left.add("Center", graphics);
|
|
|
|
//left.setBackground(gutterBgColor);
|
|
|
|
//Panel right = new Panel();
|
|
//right.setLayout(new BorderLayout());
|
|
|
|
Panel statusPanel = new Panel();
|
|
statusPanel.setBackground(statusBgColor);
|
|
statusPanel.setLayout(new FlowLayout(FlowLayout.LEFT));
|
|
statusPanel.add(status = new Label(EMPTY));
|
|
//right.add("North", statusPanel);
|
|
top.add("South", statusPanel);
|
|
|
|
add("North", top);
|
|
|
|
if (program == null) program = DEFAULT_PROGRAM;
|
|
textarea = new TextArea(program, 20, 48,
|
|
TextArea.SCROLLBARS_VERTICAL_ONLY );
|
|
textarea.setFont(PdeApplet.getFont("editor"));
|
|
//right.add("Center", textarea);
|
|
add("Center", textarea);
|
|
|
|
/*
|
|
TextArea console = new TextArea("welcome to pr0[3551ng", 5, 48,
|
|
TextArea.SCROLLBARS_VERTICAL_ONLY);
|
|
console.setBackground(Color.gray);
|
|
add("South", console);
|
|
*/
|
|
|
|
//#ifdef FANCY
|
|
// right.add("South", PdeFancy.makeDescription());
|
|
//#endif
|
|
|
|
//this.add("West", left);
|
|
//this.add("Center", right);
|
|
|
|
if (!PdeApplet.isMacintosh()) { // this still relevant?
|
|
PdeEditorListener listener = new PdeEditorListener();
|
|
textarea.addKeyListener(listener);
|
|
textarea.addFocusListener(listener);
|
|
textarea.addKeyListener(new PdeKeyListener(this));
|
|
}
|
|
|
|
runner = new PdeRunner(/*graphics,*/ this);
|
|
}
|
|
|
|
|
|
public void doPlay() {
|
|
//doStop();
|
|
doClose();
|
|
playing = true;
|
|
buttons.play();
|
|
|
|
runner.setProgram(textarea.getText());
|
|
runner.start();
|
|
|
|
// required so that key events go to the panel and <key> works
|
|
//graphics.requestFocus(); // removed for pde
|
|
}
|
|
|
|
|
|
#ifdef RECORDER
|
|
public void doRecord() {
|
|
//doStop();
|
|
doClose();
|
|
PdeRecorder.start(this, graphics.width, graphics.height);
|
|
doPlay();
|
|
}
|
|
#endif
|
|
|
|
|
|
public void doStop() {
|
|
#ifdef RECORDER
|
|
if (!playing) return;
|
|
#endif
|
|
terminate();
|
|
buttons.clear();
|
|
playing = false;
|
|
}
|
|
|
|
|
|
public void doClose() {
|
|
if (playing) {
|
|
//System.out.println("was playing, will call doStop()");
|
|
doStop();
|
|
}
|
|
|
|
// some code to close the window here
|
|
try {
|
|
// runner.engine is null (runner is not)
|
|
((KjcEngine)(runner.engine)).close();
|
|
// runner shouldn't be set to null because it gets reused
|
|
//System.err.println("runner = " + runner);
|
|
//runner = null;
|
|
} catch (Exception e) { }
|
|
buttons.clear();
|
|
}
|
|
|
|
|
|
public void doOpen() {
|
|
FileDialog fd = new FileDialog(new Frame(),
|
|
"Open a PDE program...",
|
|
FileDialog.LOAD);
|
|
fd.setDirectory(lastDirectory);
|
|
//fd.setFile(lastFile);
|
|
fd.show();
|
|
|
|
String directory = fd.getDirectory();
|
|
String filename = fd.getFile();
|
|
if (filename == null) {
|
|
buttons.clear();
|
|
return; // user cancelled
|
|
}
|
|
File file = new File(directory, filename);
|
|
|
|
try {
|
|
FileInputStream input = new FileInputStream(file);
|
|
int length = (int) file.length();
|
|
byte data[] = new byte[length];
|
|
|
|
int count = 0;
|
|
while (count != length) {
|
|
data[count++] = (byte) input.read();
|
|
}
|
|
// set the last dir and file, so that they're
|
|
// the defaults when you try to save again
|
|
lastDirectory = directory;
|
|
lastFile = filename;
|
|
|
|
// once read all the bytes, convert it to the proper
|
|
// local encoding for this system.
|
|
//textarea.setText(app.languageEncode(data));
|
|
// what the hell was i thinking when i wrote this code
|
|
if (app.encoding == null)
|
|
textarea.setText(new String(data));
|
|
else
|
|
textarea.setText(new String(data, app.encoding));
|
|
|
|
} catch (FileNotFoundException e1) {
|
|
e1.printStackTrace();
|
|
|
|
} catch (IOException e2) {
|
|
e2.printStackTrace();
|
|
}
|
|
buttons.clear();
|
|
}
|
|
|
|
|
|
public void doSave() {
|
|
// true if lastfile not set, otherwise false, meaning no prompt
|
|
handleSave(lastFile == null);
|
|
}
|
|
|
|
public void doSaveAs() {
|
|
handleSave(true);
|
|
}
|
|
|
|
public void handleSave(boolean promptUser) {
|
|
message("Saving file...");
|
|
String s = textarea.getText();
|
|
|
|
String directory = lastDirectory;
|
|
String filename = lastFile;
|
|
|
|
if (promptUser) {
|
|
FileDialog fd = new FileDialog(new Frame(),
|
|
"Save PDE program as...",
|
|
FileDialog.SAVE);
|
|
fd.setDirectory(lastDirectory);
|
|
fd.setFile(lastFile);
|
|
fd.show();
|
|
|
|
directory = fd.getDirectory();
|
|
filename = fd.getFile();
|
|
if (filename == null) {
|
|
message(EMPTY);
|
|
buttons.clear();
|
|
return; // user cancelled
|
|
}
|
|
}
|
|
File file = new File(directory, filename);
|
|
|
|
try {
|
|
FileWriter writer = new FileWriter(file);
|
|
writer.write(s);
|
|
writer.flush();
|
|
writer.close();
|
|
|
|
lastDirectory = directory;
|
|
lastFile = filename;
|
|
message("Done saving file.");
|
|
|
|
} catch (IOException e) {
|
|
e.printStackTrace();
|
|
message("Did not write file.");
|
|
}
|
|
buttons.clear();
|
|
}
|
|
|
|
|
|
public void doExport() {
|
|
message("Exporting to applet...");
|
|
String s = textarea.getText();
|
|
FileDialog fd = new FileDialog(new Frame(),
|
|
"Create applet project named...",
|
|
FileDialog.SAVE);
|
|
fd.setDirectory(lastDirectory);
|
|
fd.setFile(lastFile);
|
|
fd.show();
|
|
|
|
String directory = fd.getDirectory();
|
|
String projectName = fd.getFile();
|
|
if (projectName == null) { // user cancelled
|
|
message(EMPTY);
|
|
buttons.clear();
|
|
return;
|
|
} else if (projectName.indexOf(' ') != -1) { // space in filename
|
|
message("Project name cannot have spaces.");
|
|
buttons.clear();
|
|
return;
|
|
}
|
|
//File file = new File(directory, filename);
|
|
|
|
// write java code for applet
|
|
/*
|
|
File javaOutputFile = new File(outputDirectory, projectName + ".java");
|
|
FileOutputStream fos = new FileOutputStream(javaOutputFile);
|
|
PrintStream ps = new PrintStream(fos);
|
|
ps.println("public class " +
|
|
ps.print(converted);
|
|
ps.flush();
|
|
ps.close();
|
|
*/
|
|
|
|
try {
|
|
String program = textarea.getText();
|
|
|
|
// create the project directory
|
|
KjcEngine engine = new KjcEngine(program, this);
|
|
File projectDir = new File(directory, projectName);
|
|
projectDir.mkdirs();
|
|
|
|
engine.writeJava(projectName, false);
|
|
if (!engine.compileJava()) return;
|
|
// message() should already hava a message in this case
|
|
|
|
// copy .java to project dir
|
|
String javaName = projectName + ".java";
|
|
copyFile(new File(javaName), new File(projectDir, javaName));
|
|
|
|
// remove temporary .java and .class files
|
|
//engine.cleanup();
|
|
|
|
int wide = 320;
|
|
int high = 240;
|
|
int index = program.indexOf("size(");
|
|
if (index != -1) {
|
|
try {
|
|
String str = program.substring(index + 5);
|
|
int comma = str.indexOf(',');
|
|
int paren = str.indexOf(')');
|
|
wide = Integer.parseInt(str.substring(0, comma).trim());
|
|
high = Integer.parseInt(str.substring(comma+1, paren).trim());
|
|
} catch (Exception e) {
|
|
e.printStackTrace();
|
|
}
|
|
}
|
|
|
|
File htmlOutputFile = new File(projectDir, "index.html");
|
|
FileOutputStream fos = new FileOutputStream(htmlOutputFile);
|
|
PrintStream ps = new PrintStream(fos);
|
|
ps.println("<HTML> <BODY BGCOLOR=\"white\">");
|
|
ps.println();
|
|
ps.println("<BR> <BR> <BR> <CENTER>");
|
|
|
|
ps.println();
|
|
ps.print("<APPLET CODE=\"" + projectName + "\" ARCHIVE=\"");
|
|
ps.print(projectName + ".jar");
|
|
ps.println("\" WIDTH=" + wide + " HEIGHT=" + high + ">");
|
|
ps.println("</APPLET>");
|
|
ps.println();
|
|
|
|
ps.println("<A HREF=\"" + projectName + ".java\">source code</A>");
|
|
ps.println();
|
|
|
|
ps.println("</CENTER>");
|
|
|
|
ps.println("</BODY> </HTML>");
|
|
ps.flush();
|
|
ps.close();
|
|
|
|
final String classes[] = {
|
|
"Bagel.class", "BagelConstants.class", "BagelFont.class",
|
|
"BagelImage.class", "BagelLight.class", "BagelPolygon.class",
|
|
"ProcessingApplet.class"
|
|
};
|
|
|
|
// create new .jar file
|
|
FileOutputStream zipOutputFile =
|
|
new FileOutputStream(new File(projectDir, projectName + ".jar"));
|
|
ZipOutputStream zos = new ZipOutputStream(zipOutputFile);
|
|
ZipEntry entry;
|
|
|
|
// add standard .class files to the jar
|
|
for (int i = 0; i < classes.length; i++) {
|
|
//System.out.println("adding class " + (i+1) + " of " + classes.length);
|
|
entry = new ZipEntry(classes[i]);
|
|
zos.putNextEntry(entry);
|
|
zos.write(grabFile(new File("lib" + File.separator +
|
|
"export" + File.separator +
|
|
classes[i])));
|
|
zos.closeEntry();
|
|
}
|
|
|
|
// add the project's .class to the jar
|
|
//System.out.println("adding " + projectName + ".class");
|
|
entry = new ZipEntry(projectName + ".class");
|
|
zos.putNextEntry(entry);
|
|
zos.write(grabFile(new File("lib", projectName + ".class")));
|
|
zos.closeEntry();
|
|
|
|
// close up the jar file
|
|
zos.flush();
|
|
zos.close();
|
|
//zipOutputFile.close();
|
|
|
|
engine.cleanup();
|
|
|
|
message("Done exporting.");
|
|
|
|
} catch (Exception e) {
|
|
message("Error during export.");
|
|
e.printStackTrace();
|
|
}
|
|
buttons.clear();
|
|
}
|
|
|
|
static protected byte[] grabFile(File file) throws IOException {
|
|
int size = (int) file.length();
|
|
FileInputStream input = new FileInputStream(file);
|
|
byte buffer[] = new byte[size];
|
|
int offset = 0;
|
|
int bytesRead;
|
|
while ((bytesRead = input.read(buffer, offset, size-offset)) != -1) {
|
|
offset += bytesRead;
|
|
//System.out.println(offset + " " + bytesRead);
|
|
if (bytesRead == 0) break;
|
|
}
|
|
//System.out.println("done grabbing file");
|
|
return buffer;
|
|
}
|
|
|
|
static protected void copyFile(File afile, File bfile) {
|
|
try {
|
|
FileInputStream from = new FileInputStream(afile);
|
|
FileOutputStream to = new FileOutputStream(bfile);
|
|
byte[] buffer = new byte[4096];
|
|
int bytesRead;
|
|
while ((bytesRead = from.read(buffer)) != -1) {
|
|
to.write(buffer, 0, bytesRead);
|
|
}
|
|
} catch (IOException e) {
|
|
e.printStackTrace();
|
|
}
|
|
}
|
|
|
|
|
|
public void doSnapshot() {
|
|
/*
|
|
//dbcp.msg("Sending your file to the server...");
|
|
message("Sending your file to the server...");
|
|
|
|
try {
|
|
String programStr = textarea.getText();
|
|
//byte imageData[] = dbrp.runners[dbrp.current].dbg.getPixels();
|
|
//byte imageData[] = graphics.getPixels();
|
|
String imageStr = new String(graphics.makeTiffData());
|
|
|
|
URL appletUrl = app.getDocumentBase();
|
|
String document = appletUrl.getFile();
|
|
document = document.substring(0, document.lastIndexOf("?"));
|
|
URL url = new URL("http", appletUrl.getHost(), document);
|
|
|
|
URLConnection conn = url.openConnection();
|
|
conn.setDoInput(true);
|
|
conn.setDoOutput(true);
|
|
conn.setUseCaches(false);
|
|
conn.setRequestProperty("Content-Type",
|
|
"application/x-www-form-urlencoded");
|
|
|
|
DataOutputStream printout =
|
|
new DataOutputStream(conn.getOutputStream());
|
|
|
|
String content =
|
|
"save_as=" + URLEncoder.encode(PdeApplet.get("save_as")) +
|
|
"&save_image=" + URLEncoder.encode(imageStr) +
|
|
"&save_program=" + URLEncoder.encode(programStr);
|
|
|
|
printout.writeBytes(content);
|
|
printout.flush();
|
|
printout.close();
|
|
|
|
// what did they say back?
|
|
DataInputStream input =
|
|
new DataInputStream(conn.getInputStream());
|
|
String str = null;
|
|
while ((str = input.readLine()) != null) {
|
|
//System.out.println(str);
|
|
}
|
|
input.close();
|
|
message("Done saving file.");
|
|
|
|
} catch (Exception e) {
|
|
e.printStackTrace();
|
|
message("Problem: Your work could not be saved.");
|
|
}
|
|
buttons.clear();
|
|
*/
|
|
}
|
|
|
|
|
|
static byte tiffHeader[] = {
|
|
77, 77, 0, 42, 0, 0, 0, 8, 0, 9, 0, -2, 0, 4, 0, 0, 0, 1, 0, 0,
|
|
0, 0, 1, 0, 0, 3, 0, 0, 0, 1, 0, 0, 0, 0, 1, 1, 0, 3, 0, 0, 0, 1,
|
|
0, 0, 0, 0, 1, 2, 0, 3, 0, 0, 0, 3, 0, 0, 0, 122, 1, 6, 0, 3, 0,
|
|
0, 0, 1, 0, 2, 0, 0, 1, 17, 0, 4, 0, 0, 0, 1, 0, 0, 3, 0, 1, 21,
|
|
0, 3, 0, 0, 0, 1, 0, 3, 0, 0, 1, 22, 0, 3, 0, 0, 0, 1, 0, 0, 0, 0,
|
|
1, 23, 0, 4, 0, 0, 0, 1, 0, 0, 0, 0, 0, 0, 0, 0, 0, 8, 0, 8, 0, 8
|
|
};
|
|
|
|
static byte[] makeTiffData(int pixels[], int width, int height) {
|
|
byte tiff[] = new byte[768 + width*height*3];
|
|
System.arraycopy(tiffHeader, 0, tiff, 0, tiffHeader.length);
|
|
tiff[30] = (byte) ((width >> 8) & 0xff);
|
|
tiff[31] = (byte) ((width) & 0xff);
|
|
tiff[42] = tiff[102] = (byte) ((height >> 8) & 0xff);
|
|
tiff[43] = tiff[103] = (byte) ((height) & 0xff);
|
|
int count = width*height*3;
|
|
tiff[114] = (byte) ((count >> 24) & 0xff);
|
|
tiff[115] = (byte) ((count >> 16) & 0xff);
|
|
tiff[116] = (byte) ((count >> 8) & 0xff);
|
|
tiff[117] = (byte) ((count) & 0xff);
|
|
int index = 768;
|
|
for (int i = 0; i < pixels.length; i++) {
|
|
tiff[index++] = (byte) ((pixels[i] >> 16) & 0xff);
|
|
tiff[index++] = (byte) ((pixels[i] >> 8) & 0xff);
|
|
tiff[index++] = (byte) ((pixels[i] >> 0) & 0xff);
|
|
}
|
|
return tiff;
|
|
}
|
|
|
|
//public byte[] makeTiffData() {
|
|
//return makeTiffData(pixels, width, height);
|
|
//}
|
|
|
|
public void doSaveTiff() {
|
|
/*
|
|
message("Saving TIFF image...");
|
|
String s = textarea.getText();
|
|
FileDialog fd = new FileDialog(new Frame(),
|
|
"Save image as...",
|
|
FileDialog.SAVE);
|
|
fd.setDirectory(lastDirectory);
|
|
fd.setFile("untitled.tif");
|
|
fd.show();
|
|
|
|
String directory = fd.getDirectory();
|
|
String filename = fd.getFile();
|
|
if (filename == null) return;
|
|
|
|
File file = new File(directory, filename);
|
|
try {
|
|
FileOutputStream fos = new FileOutputStream(file);
|
|
byte data[] = graphics.makeTiffData();
|
|
fos.write(data);
|
|
fos.flush();
|
|
fos.close();
|
|
|
|
lastDirectory = directory;
|
|
message("Done saving image.");
|
|
|
|
} catch (IOException e) {
|
|
e.printStackTrace();
|
|
message("An error occurred, no image could be written.");
|
|
}
|
|
*/
|
|
}
|
|
|
|
|
|
/*
|
|
static void writeTiffHeader(OutputStream os, int width, int height)
|
|
throws IOException {
|
|
byte header[] = new byte[768];
|
|
System.arraycopy(tiffHeader, 0, header, 0, tiffHeader.length);
|
|
header[30] = (byte) ((width >> 8) & 0xff);
|
|
header[31] = (byte) ((width) & 0xff);
|
|
header[42] = header[102] = (byte) ((height >> 8) & 0xff);
|
|
header[43] = header[103] = (byte) ((height) & 0xff);
|
|
int count = width*height*3;
|
|
header[114] = (byte) ((count >> 24) & 0xff);
|
|
header[115] = (byte) ((count >> 16) & 0xff);
|
|
header[116] = (byte) ((count >> 8) & 0xff);
|
|
header[117] = (byte) ((count) & 0xff);
|
|
os.write(header);
|
|
}
|
|
|
|
static void writeTiff(OutputStream os, int width, int height, int pixels[]) {
|
|
writeTiffHeader(os, width, height);
|
|
for (int i = 0; i < pixels.length; i++) {
|
|
write((pixels[i] >> 16) & 0xff);
|
|
write((pixels[i] >> 8) & 0xff);
|
|
write(pixels[i] & 0xff);
|
|
}
|
|
os.flush();
|
|
}
|
|
*/
|
|
|
|
/*
|
|
static public byte[] makePgmData(byte inData[], int width, int height) {
|
|
String headerStr = "P5 " + width + " " + height + " 255\n";
|
|
byte header[] = headerStr.getBytes();
|
|
int count = width * height;
|
|
byte outData[] = new byte[header.length + count];
|
|
System.arraycopy(header, 0, outData, 0, header.length);
|
|
System.arraycopy(inData, 0, outData, header.length, count);
|
|
return outData;
|
|
}
|
|
*/
|
|
|
|
public void doPrint() {
|
|
/*
|
|
Frame frame = new Frame(); // bullocks
|
|
int screenWidth = getToolkit().getScreenSize().width;
|
|
frame.reshape(screenWidth + 20, 100, screenWidth + 100, 200);
|
|
frame.show();
|
|
|
|
Properties props = new Properties();
|
|
PrintJob pj = getToolkit().getPrintJob(frame, "PDE", props);
|
|
if (pj != null) {
|
|
Graphics g = pj.getGraphics();
|
|
// awful way to do printing, but sometimes brute force is
|
|
// just the way. java printing across multiple platforms is
|
|
// outrageously inconsistent.
|
|
int offsetX = 100;
|
|
int offsetY = 100;
|
|
int index = 0;
|
|
for (int y = 0; y < graphics.height; y++) {
|
|
for (int x = 0; x < graphics.width; x++) {
|
|
g.setColor(new Color(graphics.pixels[index++]));
|
|
g.drawLine(offsetX + x, offsetY + y,
|
|
offsetX + x, offsetY + y);
|
|
}
|
|
}
|
|
g.dispose();
|
|
g = null;
|
|
pj.end();
|
|
}
|
|
frame.dispose();
|
|
buttons.clear();
|
|
*/
|
|
}
|
|
|
|
|
|
public void doBeautify() {
|
|
/*
|
|
String prog = textarea.getText();
|
|
if ((prog.charAt(0) == '#') || (prog.charAt(0) == ';')) {
|
|
message("Only DBN code can be made beautiful.");
|
|
buttons.clear();
|
|
return;
|
|
}
|
|
char program[] = prog.toCharArray();
|
|
StringBuffer buffer = new StringBuffer();
|
|
boolean gotBlankLine = false;
|
|
int index = 0;
|
|
int level = 0;
|
|
|
|
while (index != program.length) {
|
|
int begin = index;
|
|
while ((program[index] != '\n') &&
|
|
(program[index] != '\r')) {
|
|
index++;
|
|
if (program.length == index)
|
|
break;
|
|
}
|
|
int end = index;
|
|
if (index != program.length) {
|
|
if ((index+1 != program.length) &&
|
|
// treat \r\n from windows as one line
|
|
(program[index] == '\r') &&
|
|
(program[index+1] == '\n')) {
|
|
index += 2;
|
|
} else {
|
|
index++;
|
|
}
|
|
} // otherwise don't increment
|
|
|
|
String line = new String(program, begin, end-begin);
|
|
line = line.trim();
|
|
|
|
if (line.length() == 0) {
|
|
if (!gotBlankLine) {
|
|
// let first blank line through
|
|
buffer.append('\n');
|
|
gotBlankLine = true;
|
|
}
|
|
} else {
|
|
if (line.charAt(0) == '}') {
|
|
level--;
|
|
}
|
|
for (int i = 0; i < level*3; i++) {
|
|
buffer.append(' ');
|
|
}
|
|
buffer.append(line);
|
|
buffer.append('\n');
|
|
if (line.charAt(0) == '{') {
|
|
level++;
|
|
}
|
|
gotBlankLine = false;
|
|
}
|
|
}
|
|
textarea.setText(buffer.toString());
|
|
*/
|
|
buttons.clear();
|
|
}
|
|
|
|
|
|
public void enableFullScreen() {
|
|
if (fullScreenWindow == null) {
|
|
Dimension screen = Toolkit.getDefaultToolkit().getScreenSize();
|
|
if (PdeApplet.isMacintosh()) {
|
|
fullScreenWindow = new Frame();
|
|
|
|
// mrj is still (with version 2.2.x) a piece of shit,
|
|
// and doesn't return valid insets for frames
|
|
//fullScreenWindow.pack(); // make a peer so insets are valid
|
|
//Insets insets = fullScreenWindow.getInsets();
|
|
// the extra +20 is because the resize boxes intrude
|
|
Insets insets = new Insets(21, 5, 5 + 20, 5);
|
|
//System.out.println(insets);
|
|
|
|
fullScreenWindow.setBounds(-insets.left, -insets.top,
|
|
screen.width + insets.left + insets.right,
|
|
screen.height + insets.top + insets.bottom);
|
|
} else {
|
|
fullScreenWindow = new Window(new Frame());
|
|
fullScreenWindow.setBounds(0, 0, screen.width, screen.height);
|
|
}
|
|
fullScreenWindow.setBackground(new Color(102, 102, 102));
|
|
}
|
|
fullScreenWindow.show();
|
|
|
|
// not sure what to do with applet..
|
|
// (since i can't bring the browser window to the front)
|
|
// unless there's a method in AppletContext
|
|
if (frame != null) frame.toFront();
|
|
|
|
try {
|
|
//System.out.println("my parent is " + getParent());
|
|
((PdeApplication)getParent()).frame.toFront();
|
|
} catch (Exception e) { }
|
|
|
|
try {
|
|
((KjcEngine)(runner.engine)).window.toFront();
|
|
} catch (Exception e) {
|
|
// rather than writing code to check all the posible
|
|
// errors with the above statement, just fail quietly
|
|
//System.out.println("couldn't bring kjc engine window forward");
|
|
}
|
|
//if (runner.engine != null) {
|
|
//if (runner.engine instanceof KjcEngine) {
|
|
//}
|
|
//}
|
|
|
|
buttons.clear();
|
|
}
|
|
|
|
public void disableFullScreen() {
|
|
fullScreenWindow.hide();
|
|
buttons.clear();
|
|
}
|
|
|
|
|
|
public void terminate() { // part of PdeEnvironment
|
|
runner.stop();
|
|
message(EMPTY);
|
|
}
|
|
|
|
|
|
// TODO iron out bugs with this code under
|
|
// different platforms, especially macintosh
|
|
public void highlightLine(int lnum) {
|
|
if (lnum < 0) {
|
|
textarea.select(0, 0);
|
|
return;
|
|
}
|
|
//System.out.println(lnum);
|
|
String s = textarea.getText();
|
|
int len = s.length();
|
|
//int lnum = .line;
|
|
int st = -1, end = -1;
|
|
int lc = 0;
|
|
if (lnum == 0) st = 0;
|
|
for (int i = 0; i < len; i++) {
|
|
//if ((s.charAt(i) == '\n') || (s.charAt(i) == '\r')) {
|
|
boolean newline = false;
|
|
if (s.charAt(i) == '\r') {
|
|
if ((i != len-1) && (s.charAt(i+1) == '\n')) i++;
|
|
lc++;
|
|
newline = true;
|
|
} else if (s.charAt(i) == '\n') {
|
|
lc++;
|
|
newline = true;
|
|
}
|
|
if (newline) {
|
|
if (lc == lnum)
|
|
st = i+1;
|
|
else if (lc == lnum+1) {
|
|
end = i;
|
|
break;
|
|
}
|
|
}
|
|
}
|
|
if (end == -1) end = len;
|
|
//System.out.println("st/end: "+st+"/"+end);
|
|
textarea.select(st, end+1);
|
|
//if (iexplorerp) {
|
|
//textarea.invalidate();
|
|
//textarea.repaint();
|
|
//}
|
|
}
|
|
|
|
|
|
public void error(PdeException e) { // part of PdeEnvironment
|
|
if (e.line >= 0) highlightLine(e.line);
|
|
//dbcp.repaint(); // button should go back to 'play'
|
|
//System.err.println(e.getMessage());
|
|
//message("Problem: " + e.getMessage());
|
|
message(e.getMessage());
|
|
buttons.clearPlay();
|
|
//showStatus(e.getMessage());
|
|
}
|
|
|
|
|
|
public void finished() { // part of PdeEnvironment
|
|
#ifdef RECORDER
|
|
PdeRecorder.stop();
|
|
#endif
|
|
playing = false;
|
|
buttons.clearPlay();
|
|
message("Done.");
|
|
}
|
|
|
|
|
|
public void message(String msg) { // part of PdeEnvironment
|
|
status.setText(msg);
|
|
}
|
|
|
|
|
|
public void messageClear(String msg) {
|
|
if (status.getText().equals(msg)) status.setText(EMPTY);
|
|
}
|
|
}
|
|
|
|
#endif
|
|
|