setFocus() *is* the "pushFocus()" you're looking for. That's what it
does.
On Nov 11, 2010, at 9:19 PM, Donald Winston wrote:
There appears to be no pushFocus(String module) method in the rete
class. There's a popFocus() and a setFocus().
So the only way to set the focus stack is do rete.eval("(focus mod1
mod2 mod3)"); ?
Donald Paul Winston
[email protected]
---------------------------------------------------------
Ernest Friedman-Hill
Informatics & Decision Sciences, Sandia National Laboratories
PO Box 969, MS 9012, Livermore, CA 94550
http://www.jessrules.com
--------------------------------------------------------------------
To unsubscribe, send the words 'unsubscribe jess-users [email protected]'
in the BODY of a message to [email protected], NOT to the list
(use your own address!) List problems? Notify [email protected].
--------------------------------------------------------------------
