Browse Source

small fix to the $EVENT type, which now allows global actions to actually be triggered

Simon Van Mierlo 7 years ago
parent
commit
61c9b56c6c
1 changed files with 1 additions and 1 deletions
  1. 1 1
      types.js

+ 1 - 1
types.js

@@ -23,7 +23,7 @@ __specialTypes = {
 
 	'$CARDINALITY':'map<[dir,type,min,max],[string,string,string,string]>',
 
-	'$EVENT':'ENUM( pre-connect , pre-create , pre-disconnect , pre-delete , pre-edit , post-connect , post-create , post-disconnect , post-delete , post-edit )',
+	'$EVENT':'ENUM(pre-connect,pre-create,pre-disconnect,pre-delete,pre-edit,post-connect,post-create,post-disconnect,post-delete,post-edit)',
 
 	'$EVENT_HANDLER':'map<[name,event,code],[string,$EVENT,code]>',