Menu
▾
▴
Re: [CZT-Devel] Problem installing jEdit plugin
|
From: Anthony H. <an...@an...> - 2013-03-31 17:06:16
|
Dear Andrius Thanks very much for your instant response. I suppose I had better bite the bullet and get going with git L. That is correct - the error you are seeing is due to incompatibilities with jEdit 5. The latest sources in CZT Git repository do have this fixed and should be working with jEdit 5. Is there are reason you need the jEdit plugin in particular? There's also an Eclipse-based CZT IDE available - a "preview" snapshot of the latest version is available in http://sourceforge.net/projects/czt/files/czt-ide/2.0-pre1/ . That is for Eclipse-based IDE though, I did not add the czt.jar and jEdit plugins there yet. The Eclipse-based IDE has actually more features and polish than the jEdit plugins.. To be honest I don’t know. I’ve never used either Eclipse or jEdit (because of course I use my own Z Word Tools as an editor). The reason I was looking at it is that I may have to do some work with Object-Z and I wanted to see what support CZT had for editing Object-Z. What do you think is the easiest way to do that? I am planning to add "nightly" builds to CZT downloads section in the next weeks so there would be easier downloads for people who do not want to build from scratch. That would be useful – though looking at the instructions it seemed I had to do a local build as a prerequisite for installing the jEdit plugins? On the subject of builds, I note that there hasn’t been a release of CZT for ages – are there plans for a release? I’m also feeling guilty because I have on my to-do list to look at the memory consumption problem. One reason I haven’t done really been motivated to do this is because I haven’t seen much activity on the mailing lists. But perhaps that’s deceptive. How active is the project nowadays? Let us know what are your preferences. I’d really welcome your advice – I’m not at all experienced in this area. Many thanks Anthony Andrius Velykis Newcastle University On Sun, Mar 31, 2013 at 4:31 PM, Anthony Hall <an...@an...> wrote: I've got a (perhaps out of date) Subversion Revision 8214 of CZT and I'm trying to get the jEdit plugins working. When I try to start the Zcharmap plugin I get this message: A BeanShell error occurred. java.lang.NoSuchMethodError: org.gjt.sp.jedit.textarea.TextAreaPainter.isAntiAliasEnabled()Z at ZCharMap.<init>(ZCharMap.java:93) at sun.reflect.NativeConstructorAccessorImpl.newInstance0(Native Method) at sun.reflect.NativeConstructorAccessorImpl.newInstance(NativeConstructorAcces sorImpl.java:57) at sun.reflect.DelegatingConstructorAccessorImpl.newInstance(DelegatingConstruc torAccessorImpl.java:45) at java.lang.reflect.Constructor.newInstance(Constructor.java:525) at org.gjt.sp.jedit.bsh.Reflect.constructObject(Reflect.java:620) at org.gjt.sp.jedit.bsh.BSHAllocationExpression.constructObject(BSHAllocationEx pression.java:123) at org.gjt.sp.jedit.bsh.BSHAllocationExpression.objectAllocation(BSHAllocationE xpression.java:114) at org.gjt.sp.jedit.bsh.BSHAllocationExpression.eval(BSHAllocationExpression.ja va:62) at org.gjt.sp.jedit.bsh.BSHPrimaryExpression.eval(BSHPrimaryExpression.java:102 ) at org.gjt.sp.jedit.bsh.BSHPrimaryExpression.eval(BSHPrimaryExpression.java:47) at org.gjt.sp.jedit.bsh.Interpreter.eval(Interpreter.java:644) at org.gjt.sp.jedit.bsh.Interpreter.eval(Interpreter.java:738) at org.gjt.sp.jedit.bsh.Interpreter.eval(Interpreter.java:727) at org.gjt.sp.jedit.BeanShellFacade._eval(BeanShellFacade.java:148) at org.gjt.sp.jedit.BeanShellFacade.eval(BeanShellFacade.java:113) at org.gjt.sp.jedit.BeanShell.eval(BeanShell.java:369) at org.gjt.sp.jedit.gui.DockableWindowFactory$Window.createDockableWindow(Docka bleWindowFactory.java:467) at org.gjt.sp.jedit.gui.DockableWindowManagerImpl.showDockableWindow(DockableWi ndowManagerImpl.java:354) at org.gjt.sp.jedit.gui.DockableWindowFactory$Window$OpenAction.invoke(Dockable WindowFactory.java:498) at org.gjt.sp.jedit.gui.InputHandler.invokeAction(InputHandler.java:342) at org.gjt.sp.jedit.jEdit$4.invokeAction(jEdit.java:3342) at org.gjt.sp.jedit.jEdit$4.invokeAction(jEdit.java:3324) at org.gjt.sp.jedit.EditAction$Wrapper.actionPerformed(EditAction.java:212) at javax.swing.AbstractButton.fireActionPerformed(AbstractButton.java:2018) at javax.swing.AbstractButton$Handler.actionPerformed(AbstractButton.java:2341) at javax.swing.DefaultButtonModel.fireActionPerformed(DefaultButtonModel.java:4 02) at javax.swing.DefaultButtonModel.setPressed(DefaultButtonModel.java:259) at javax.swing.AbstractButton.doClick(AbstractButton.java:376) at javax.swing.plaf.basic.BasicMenuItemUI.doClick(BasicMenuItemUI.java:833) at javax.swing.plaf.basic.BasicMenuItemUI$Handler.mouseReleased(BasicMenuItemUI .java:877) at java.awt.AWTEventMulticaster.mouseReleased(AWTEventMulticaster.java:289) at java.awt.Component.processMouseEvent(Component.java:6505) at javax.swing.JComponent.processMouseEvent(JComponent.java:3321) at java.awt.Component.processEvent(Component.java:6270) at java.awt.Container.processEvent(Container.java:2229) at java.awt.Component.dispatchEventImpl(Component.java:4861) at java.awt.Container.dispatchEventImpl(Container.java:2287) at java.awt.Component.dispatchEvent(Component.java:4687) at java.awt.LightweightDispatcher.retargetMouseEvent(Container.java:4832) at java.awt.LightweightDispatcher.processMouseEvent(Container.java:4492) at java.awt.LightweightDispatcher.dispatchEvent(Container.java:4422) at java.awt.Container.dispatchEventImpl(Container.java:2273) at java.awt.Window.dispatchEventImpl(Window.java:2713) at java.awt.Component.dispatchEvent(Component.java:4687) at java.awt.EventQueue.dispatchEventImpl(EventQueue.java:707) at java.awt.EventQueue.access$000(EventQueue.java:101) at java.awt.EventQueue$3.run(EventQueue.java:666) at java.awt.EventQueue$3.run(EventQueue.java:664) at java.security.AccessController.doPrivileged(Native Method) at java.security.ProtectionDomain$1.doIntersectionPrivilege(ProtectionDomain.ja va:76) at java.security.ProtectionDomain$1.doIntersectionPrivilege(ProtectionDomain.ja va:87) at java.awt.EventQueue$4.run(EventQueue.java:680) at java.awt.EventQueue$4.run(EventQueue.java:678) at java.security.AccessController.doPrivileged(Native Method) at java.security.ProtectionDomain$1.doIntersectionPrivilege(ProtectionDomain.ja va:76) at java.awt.EventQueue.dispatchEvent(EventQueue.java:677) at java.awt.EventDispatchThread.pumpOneEventForFilters(EventDispatchThread.java :211) at java.awt.EventDispatchThread.pumpEventsForFilter(EventDispatchThread.java:12 8) at java.awt.EventDispatchThread.pumpEventsForHierarchy(EventDispatchThread.java :117) at java.awt.EventDispatchThread.pumpEvents(EventDispatchThread.java:113) at java.awt.EventDispatchThread.pumpEvents(EventDispatchThread.java:105) at java.awt.EventDispatchThread.run(EventDispatchThread.java:90) I realise that perhaps I need to update to the latest sources but as I haven't got git installed and this is likely to involve heavy work with Maven, I wondered if anyone could advise whether this is in fact the problem or whether there is something different going wrong? Thanks Anthony ------------------------------------------------------------------------------ Own the Future-Intel(R) Level Up Game Demo Contest 2013 Rise to greatness in Intel's independent game demo contest. Compete for recognition, cash, and the chance to get your game on Steam. $5K grand prize plus 10 genre and skill prizes. Submit your demo by 6/6/13. http://altfarm.mediaplex.com/ad/ck/12124-176961-30367-2 _______________________________________________ CZT-Devel mailing list CZT...@li... https://lists.sourceforge.net/lists/listinfo/czt-devel |
