Menu
▾
▴
Re: [CZT-Devel] Problem installing jEdit plugin
|
From: Leo F. <leo...@ne...> - 2013-04-09 09:35:03
|
Hi Anthony, Nice to hear from you --- and apologies for the delay. I was away in Brazil on holiday in the middle of nowhere :-)… --- git I had a similar feeling when I started using it (through Andrius diligent suggestion for my doing so). It is away better than SVN in various respects and not that difficult in itself. A few new concepts like push/pull/fetch, but they are natural (distributed) counterparts for commit/update/check. --- IDEs and CZT.jar the jEdit development was meant as a testbed for how a CZT GUI would look like / need --- if I recall correctly. In itself jEdit came a long way since then and improved in various respects. We keep it alive to make allow for a light-weight IDE usage, but not all recent features have been implemented for it. Andrius is an Eclipse wizard, having worked in industry building Eclipse-based plugins and systems. This made the transition to Eclipse (and update over the original development by Mark and his students) possible. Again, I insisted to keep the IDE separate (and a reflection of) the CZT.jar, which does contain access to all recent/new features. Eclipse has extra bells and whistles, though. They make specification and cross referencing much easier / smoother than in jEdit or other editor. --- new features Over the last two years Andrius an I have been developed CZT in a number of areas --- perhaps because we are both at Newcastle there was not much mail traffic :-) I will write a separate email on these features. ---- release Andrius recently added nightly builds, which means you can get newest (stable) features without much fuss (i.e. no need for long builds and/or GIT). We make a point about only pushing (new repository versions) stable versions of features (i.e. those that passed tests and that we have worked with in some model in practice). This way nightly builds are reliable. We plan to have a release over the summer, and Andrius is launching soon (coming week) a new website / doc site too ! --- memory see other mail on new features... --------- Best, Leo On 31 Mar 2013, at 17:52, Anthony Hall <an...@an...<mailto:an...@an...>> wrote: Dear Andrius Thanks very much for your instant response. I suppose I had better bite the bullet and get going with git :(. 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...<mailto: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...<mailto:CZT...@li...> https://lists.sourceforge.net/lists/listinfo/czt-devel ------------------------------------------------------------------------------ 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...<mailto:CZT...@li...> https://lists.sourceforge.net/lists/listinfo/czt-devel |
