On Dec 5, 2006, at 10:32 AM, Scott Moss wrote:
When I use a block comment /*...*/ in JessDE, the automatic
indentation
seems to fail thereafter. Is this an idiosyncrasy of my setup or
something I am doing? Or is it a fairly trivial -- but nonetheless
irritating -- bug in JessDE?
It's that last one. It's already on the issues list, to be resolved
in a patch release coming soon.
---------------------------------------------------------
Ernest Friedman-Hill
Advanced Software Research Phone: (925) 294-2154
Sandia National Labs FAX: (925) 294-2234
PO Box 969, MS 9012 [EMAIL PROTECTED]
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]
--------------------------------------------------------------------
