/**
*
*/
package org.hyperdata.scute.main;
import java.awt.Font;
import javax.swing.event.ChangeEvent;
import org.hyperdata.scute.source.EditorPane;
/**
* @author danny
*
*/
public class ScratchPad extends EditorPane {
/**
* @param syntax
*/
public ScratchPad(String syntax) {
super(syntax);
setFilename(Config.SCRATCH_FILENAME);
setFont(new Font("Monospaced", Font.PLAIN, 10)); // bit smaller
}
/* (non-Javadoc)
* @see javax.swing.event.ChangeListener#stateChanged(javax.swing.event.ChangeEvent)
*/
@Override
public void stateChanged(ChangeEvent arg0) {
// TODO Auto-generated method stub
}
}