Jeff once wondered: > [surely, there is little incentive to kill the compile buffer when compile > succeeds...? > it is so small, what is the point of killing it?
not that i work on the internals of JDEE or anything, but i have been using it for a long time, and this question seems odd to me. if the compile is successful, what on earth do you need it for? -- This e-mail may contain confidential and/or privileged information. If you are not the intended recipient (or have received this e-mail in error) please notify the sender immediately and destroy this e-mail. Any unauthorized copying, disclosure or distribution of the material in this e-mail is strictly forbidden.
