Menu

How to configure options

Help
2006-04-24
2013-04-26
  • Keith Kowalczykowski

    Hi, I just downloaded your plugin and was trying to use it on an existing project I alread had. It seems  to work quite well, however, the only problem I am having is how to change the default cup file names for the parser and symbol classs. I have tried changing it via the right clicking the file -> properties and by changing the lines directly in pi.eclipse.cle.prefs. Neither of these seem to work. Is the feature implemented yet, and if so, how do I go about changing this value? Thanks.

     
    • Keith Kowalczykowski

      Nevermind, I figured out the problem. Nice plugin, it works great. Keep up the good work!

       
    • Pappy

      Pappy - 2006-04-27

      From "Package Explorer" do a right click on the cup file and select "Properties"; then, on the properties panel select "Java-Cup Properties" and configure whatever you want for the cup file.

      I'm not sure if the modifications in pi.eclipse.cle.prefs work, it depends on how Eclipse  manages the files' properties; maybe a refresh on the project should re-read that file, I don't know.

      Anyway, the right solution is to use the properties panel.

      Thanks for the appreciations!

      --

      pappy

       

Log in to post a comment.

MongoDB Logo MongoDB