From f4c239a99288bdb32c9eb28833c72b89c7253ebb Mon Sep 17 00:00:00 2001
From: Slava Pestov <slava@factorcode.org>
Date: Sun, 8 Aug 2004 02:30:33 +0000
Subject: [PATCH] forgot jedit metadata

---
 actions.xml   | 24 ++++++++++++++++++++++++
 dockables.xml | 12 ++++++++++++
 2 files changed, 36 insertions(+)
 create mode 100644 actions.xml
 create mode 100644 dockables.xml

diff --git a/actions.xml b/actions.xml
new file mode 100644
index 0000000000..a75b0cc602
--- /dev/null
+++ b/actions.xml
@@ -0,0 +1,24 @@
+<?xml version="1.0"?>
+
+<!DOCTYPE ACTIONS SYSTEM "actions.dtd">
+
+<ACTIONS>
+	<ACTION NAME="factor-eval-selection">
+		<CODE>
+			sel = textArea.selectedText;
+			if(sel == null)
+				view.toolkit.beep();
+			else
+				factor.jedit.FactorPlugin.eval(view,sel);
+		</CODE>
+	</ACTION>
+	<ACTION NAME="factor-run-file">
+		<CODE>
+			buffer.save(view,null);
+			factor.jedit.FactorPlugin.eval(view,
+				"\""
+				+ MiscUtilities.charsToEscapes(buffer.path)
+				+ "\" run-file");
+		</CODE>
+	</ACTION>
+</ACTIONS>
diff --git a/dockables.xml b/dockables.xml
new file mode 100644
index 0000000000..9394249aad
--- /dev/null
+++ b/dockables.xml
@@ -0,0 +1,12 @@
+<?xml version="1.0"?>
+
+<!-- For jEdit plugin -->
+
+<!DOCTYPE DOCKABLES SYSTEM "dockables.dtd">
+
+<DOCKABLES>
+	<DOCKABLE NAME="factor">
+		new factor.listener.FactorListenerPanel(
+			factor.jedit.FactorPlugin.getInterpreter(view));
+	</DOCKABLE>
+</DOCKABLES>