From f3b5f06a3543cdc1efb581cd1247fa62a8867dc4 Mon Sep 17 00:00:00 2001 From: benfry Date: Mon, 18 Aug 2008 04:10:47 +0000 Subject: [PATCH] got tools menu working --- app/src/processing/app/Editor.java | 12 ++++++++++-- 1 file changed, 10 insertions(+), 2 deletions(-) diff --git a/app/src/processing/app/Editor.java b/app/src/processing/app/Editor.java index 0736c2e9d..2cc885dcf 100644 --- a/app/src/processing/app/Editor.java +++ b/app/src/processing/app/Editor.java @@ -614,7 +614,6 @@ public class Editor extends JFrame { addInternalTools(menu); addTools(menu, Base.getToolsFolder()); addTools(menu, base.getSketchbookFolder()); - System.out.println("done."); return menu; } @@ -626,7 +625,7 @@ public class Editor extends JFrame { File[] folders = sourceFolder.listFiles(new FileFilter() { public boolean accept(File folder) { if (folder.isDirectory()) { -// System.out.println("checking " + folder); + //System.out.println("checking " + folder); File subfolder = new File(folder, "tool"); return subfolder.exists(); } @@ -1170,6 +1169,15 @@ public class Editor extends JFrame { textarea.setText(what); stopCompoundEdit(); } + + + public void insertText(String what) { + startCompoundEdit(); + int caret = getCaretOffset(); + setSelection(caret, caret); + textarea.setSelectedText(what); + stopCompoundEdit(); + } /**