aboutsummaryrefslogtreecommitdiff
path: root/contexts/data/fiveui/settings.js
diff options
context:
space:
mode:
authorGravatar Trevor Elliott <trevor@galois.com>2013-05-23 14:11:49 -0700
committerGravatar Trevor Elliott <trevor@galois.com>2013-05-23 14:11:49 -0700
commitc36a7ca2312f970f8e8ccd2a993be456cfa6550c (patch)
tree06597ba112fe402ccbcfb2c07daa39f79322fc8d /contexts/data/fiveui/settings.js
parent0d2685932e23b3ae37bbcc50fea756f22356207a (diff)
Remove the codemirror interface to the rule sets
* Switch to loading the rules out of a manifest file
Diffstat (limited to 'contexts/data/fiveui/settings.js')
-rw-r--r--contexts/data/fiveui/settings.js10
1 files changed, 5 insertions, 5 deletions
diff --git a/contexts/data/fiveui/settings.js b/contexts/data/fiveui/settings.js
index acedda4..7aa6c1e 100644
--- a/contexts/data/fiveui/settings.js
+++ b/contexts/data/fiveui/settings.js
@@ -342,13 +342,13 @@ fiveui.Settings.manager = function(chan, settings) {
var msg = new fiveui.Messenger(chan);
- msg.register('addRuleSet', function(ruleSet){
+ msg.register('addRuleSet', function(ruleSet,respond){
var newRS = settings.addRuleSet(ruleSet);
- msg.send('addRuleSet', newRS);
+ respond(newRS);
});
- msg.register('updateRuleSet', function(updatedRS){
- var newRS = settings.updateRuleSet(updatedRS.id, updatedRS.obj);
- msg.send('updateRuleSet', newRS);
+ msg.register('updateRuleSet', function(updatedRS,respond){
+ var newRS = settings.updateRuleSet(updatedRS.id, updatedRS);
+ respond(newRS);
});
msg.register('remRuleSet', function(ruleSetId, respond) {
var pats = settings.remRuleSet(ruleSetId);