- super.put("theme", new JS.Callable() { public Object call(JS.Array args) throws JS.Exn {
- if (args.length() != 2) return null;
- if (args.elementAt(0) == null || args.elementAt(1) == null) return null;
- for(int i=1; i<args.length(); i++) {
- if (args.elementAt(i) instanceof String) {
- String from = (String)args.elementAt(0);
- String to = (String)args.elementAt(i);
- if (Log.on) Log.log(this, "retheming from " + from + " to " + to);
- Resources.mapFrom.addElement(from);
- Resources.mapTo.addElement(to);
- }
- }
- JS.Callable callback = args.elementAt(args.length() - 1) instanceof JS.Callable ?
- (JS.Callable)args.elementAt(args.length() - 1) : null;
- Template.retheme(callback);
- return null;
- }});
-