1
0
mirror of https://github.com/arduino/Arduino.git synced 2024-12-01 12:24:14 +01:00

remove not used interface

This commit is contained in:
ricardo.jl.rufino 2015-04-22 16:57:12 -03:00 committed by Federico Fissore
parent 96fcda2cbc
commit 45094a9d52

View File

@ -2,16 +2,12 @@ package processing.app;
import java.io.File; import java.io.File;
import javax.swing.Action;
import javax.swing.SwingUtilities;
import javax.swing.event.DocumentEvent; import javax.swing.event.DocumentEvent;
import javax.swing.event.DocumentListener; import javax.swing.event.DocumentListener;
import javax.swing.text.Document; import javax.swing.text.Document;
import javax.swing.undo.UndoManager; import javax.swing.undo.UndoManager;
import org.fife.ui.rtextarea.RTextArea; public class SketchCodeDocument implements DocumentListener{
public class SketchCodeDocument implements SketchDocumentProvider, DocumentListener{
private SketchCode code; private SketchCode code;
private Sketch sketch; private Sketch sketch;