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?
--------------------------------------------------------------------
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]
--------------------------------------------------------------------
