import java.net.*;
import java.util.*;
import java.util.zip.*;
public class PdeEditor extends Panel {
static final String DEFAULT_PROGRAM = "// type program here\n";
<BUG>static final String NEW_SKETCH_ITEM = "( new sketch )";
static final String SKETCH_PREFIX_NAME = "sketch-";
static final String CODE_FILENAME = "sketch.pde";</BUG>
static final String EMPTY = " ";
PdeEditorButtons buttons;

import java.net.*;
import java.util.*;
import java.util.zip.*;
public class PdeEditor extends Panel {
static final String DEFAULT_PROGRAM = "// type program here\n";
static final String EMPTY = " ";
PdeEditorButtons buttons;
