Google Groups Home
Help | Sign in
Message from discussion Eclipse plugin for Cat, bugfix
The group you are posting to is a Usenet group. Messages posted to this group will make your email address visible to anyone on the Internet.
Your reply message has not been sent.
Your post was successful
Christopher Diggins  
View profile
 More options Sep 1 2007, 7:47 pm
From: "Christopher Diggins" <cdigg...@gmail.com>
Date: Sat, 1 Sep 2007 19:47:03 -0400
Local: Sat, Sep 1 2007 7:47 pm
Subject: Re: Eclipse plugin for Cat, bugfix
Eclipse 3.3, Windows XP. I have downloaded and unzipped the version
1.0.1 of the plugin into my plugins folder.

- Christopher

On 9/1/07, Adrian Savage <nothingonte...@googlemail.com> wrote:

> Which version of Eclipse did you use?
> Which operating system?

> On 9/1/07, Christopher Diggins <cdigg...@gmail.com> wrote:

> > Hi Adrian,

> > I just tried using the Cat plugin, and when I constructed a ".cat"
> > file from scratch, I could see the neat Cat icon on the project
> > explorer pane (nice touch!). However, no syntax coloring was present
> > (and it red squiggle highlighted various words?). The next problem
> > occured when I tried to open a file:

> > Error opening the editor.
> > Bad version number in .class file

> > Any ideas what I could do to resolve the problem? I have no idea where
> > to start, and I don't know which ".class" file is being referred to.

> > - Christopher

> > On 8/31/07, Adrian Savage < nothingonte...@googlemail.com> wrote:
> > > Thanks. I released a new version because 1.0.0 didn't work well with
> Eclipse
> > > 3.2.2. The Cat plugin now has a web page. Version 1.0.1 includes source
> code
> > > (.jar files are .zip files with a different extension.) It is available
> > > from:

> > > http://nothingontelly.com/CatPlugin


    Reply to author    Forward  
You must Sign in before you can post messages.
To post a message you must first join this group.
Please update your nickname on the subscription settings page before posting.
You do not have the permission required to post.

Create a group - Google Groups - Google Home - Terms of Service - Privacy Policy
©2008 Google