From 1fe0be9d980e9a4a47874680e4ac4ee1de6dd374 Mon Sep 17 00:00:00 2001
From: Adam Chlipala <adam@chlipala.net>
Date: Thu, 10 Mar 2011 20:22:03 -0500
Subject: Ignore JavaScript events in Effectize; allow extra spaces for
 'jsFunc'; eat carriage returns at line ends in .urp files

---
 src/settings.sig | 1 +
 1 file changed, 1 insertion(+)

(limited to 'src/settings.sig')

diff --git a/src/settings.sig b/src/settings.sig
index fbf9b3c5..279325c3 100644
--- a/src/settings.sig
+++ b/src/settings.sig
@@ -74,6 +74,7 @@ signature SETTINGS = sig
     (* Which FFI functions may be run in JavaScript?  (JavaScript function names included) *)
     val setJsFuncs : (ffi * string) list -> unit
     val jsFunc : ffi -> string option
+    val allJsFuncs : unit -> (ffi * string) list
 
     datatype pattern_kind = Exact | Prefix
     datatype action = Allow | Deny
-- 
cgit v1.2.3