JESS: [EXTERNAL] Difficulty with the Jess 8.01 eclipse editor
Craig Cunningham <[email protected]> Fri, 14 Mar 2014 10:37:20 -0400
| Newsgroups | gmane.comp.java.jess |
|---|---|
| Message-ID | <[email protected]> |
--Apple-Mail=_795C9A51-DB3C-4CD4-B4D0-7CF33481C298 Content-Transfer-Encoding: quoted-printable Content-Type: text/plain; charset="us-ascii" Hi All, I am having difficulty with the new version of the eclipse editor. The = editor works fine, unless I try to save a .clp file that has warnings or = errors in the file. It hangs up and I have to force quit eclipse. I am running mac os 10.8.5 and=20 eclipse version: Kepler Service Release 2 Has anyone else seen this problem? Thanks, Craig= --Apple-Mail=_795C9A51-DB3C-4CD4-B4D0-7CF33481C298 Content-Transfer-Encoding: quoted-printable Content-Type: text/html; charset="us-ascii" <html><head><meta http-equiv=3D"Content-Type" content=3D"text/html = charset=3Dus-ascii"></head><body style=3D"word-wrap: break-word; = -webkit-nbsp-mode: space; -webkit-line-break: after-white-space; ">Hi = All,<div><br></div><div>I am having difficulty with the new version of = the eclipse editor. The editor works fine, unless I try to save a = .clp file that has warnings or errors in the file. It hangs up and = I have to force quit eclipse.</div><div><br></div><div>I am running mac = os 10.8.5 and </div><div><div style=3D"margin: 0px; font-size: = 11px; font-family: 'Lucida Grande'; ">eclipse version: Kepler Service = Release 2</div></div><div style=3D"margin: 0px; font-size: 11px; = font-family: 'Lucida Grande'; "><br></div><div style=3D"margin: 0px; = font-size: 11px; font-family: 'Lucida Grande'; ">Has anyone else seen = this problem?</div><div style=3D"margin: 0px; font-size: 11px; = font-family: 'Lucida Grande'; "><br></div><div style=3D"margin: 0px; = font-size: 11px; font-family: 'Lucida Grande'; ">Thanks,</div><div = style=3D"margin: 0px; font-size: 11px; font-family: 'Lucida Grande'; = ">Craig</div></body></html>= --Apple-Mail=_795C9A51-DB3C-4CD4-B4D0-7CF33481C298-- -------------------------------------------------------------------- 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]. --------------------------------------------------------------------