got tools menu working

This commit is contained in:
benfry
2008-08-18 04:10:47 +00:00
parent ffd3e5a72e
commit f3b5f06a35

View File

@@ -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();
}
/**