Re: [CZT-Devel] Problem installing jEdit plugin

[Anthony H. <an...@an...>]

Thanks yet again Andrius!

 

Well I’d expected something like that,  but I can’t see any such option in the dropdown: it just seems to have docking options.

 

I see - I checked the source code - apparently it reacts to 'mode' change in jEdit. Use the dropdown in top-right corner to change modes, then the charmap should change accordingly..

Yes, that seems to work (I couldn’t find the “dropdown in top right hand corner” but changing mode via the menu worked fine. Just another documentation item I guess J,

 

Interesting point about extensions. What you encountered is what was supposed have happened. At the moment CZT Eclipse works with `zed`, `zed8` and `zed16` extensions - the Z Editor is opened by default for them. The dialect is selected in Preferences and has not been linked to the file extension, i.e. you select a dialect for all files, and the extension governs whether it is LaTeX or one of Unicode representations. Since it does not know about `oz8` extension, it will open it with text editor. You can try forcing Z Editor by right-clicking and selecting Open With > Z Editor. 

I tried “open with CZT editor” and got an exception. I then tried just opening and got a similar result. Not sure what’s happened there. I’ll include the error report at the end of the mail.

 

 

We have discussed using dialect-specific extensions some time ago with Leo. Are there official ones, e.g. `oz` for Object-Z, etc, or at least some accepted practice?

You’re asking me? J. But I believe there are – eg the settings that one is supposed to give for jEdit include oz{8.16} I think.

 

 

We have not tested much on Windows recently, so maybe it is worth checking it out. :)

It’s a pain, isn’t it? I don’t know what it is that’s window –specific about this though I do note there was some discussion on the mailing list about windows not deleting files. I don’t know whether that is related to these errors or not.

 

I have committed several changes today - with the today's version of CZT Eclipse IDE you no longer need to install CZT font, it is loaded automatically. This has not been done for jEdit though yet.

OK, that’s great. I’m happy now Mark has reassured me that it won’t destroy my system J.

 

 

You are right, the plugins needed to be built as well.

 

I have got around to finishing the `nightly` builds as well - if you go to the CZT SourceForge files system, each of possible download options now has a /nightly directory where you can download the latest version! We have a build server running here in Newcastle and the nightly results will be published to SourceForge now.

 

http://sourceforge.net/projects/czt/files/

Great! That’s going to be useful I’m sure.

  

It is dead (as in not being developed anymore), though many institutions still have copies of it and it works quite well with this new GUI :) We had a buch of proofs in Z/EVES that we needed to work with so added the integration. Now here's to hoping that Z/EVES would be open-sourced some day.. but it is not clear whether that will happen.

Thanks – that confirms what I thought. I fear the open source will never happen – it’s been proposed for several years, so if it hasn’t happened yet I can’t see it happening now, sadly

  

The core developers are still around so I think help would come if needed :)

Thanks, yes. I really need to get my mind back into this.

 

Once again, many thanks for your help. I think the improvements you are making are looking very good.

 

All the best

 

Anthony

 

The error I got on opening t.oz8:

 

java.lang.NullPointerException

                at org.eclipse.jface.text.source.MatchingCharacterPainter.paint(MatchingCharacterPainter.java:373)

                at org.eclipse.jface.text.PaintManager.addPainter(PaintManager.java:201)

                at org.eclipse.jface.text.TextViewer.addPainter(TextViewer.java:5278)

                at org.eclipse.ui.texteditor.SourceViewerDecorationSupport.showMatchingCharacters(SourceViewerDecorationSupport.java:702)

                at org.eclipse.ui.texteditor.SourceViewerDecorationSupport.updateTextDecorations(SourceViewerDecorationSupport.java:303)

                at org.eclipse.ui.texteditor.SourceViewerDecorationSupport.install(SourceViewerDecorationSupport.java:289)

                at org.eclipse.ui.texteditor.AbstractDecoratedTextEditor.createPartControl(AbstractDecoratedTextEditor.java:449)

                at net.sourceforge.czt.eclipse.ui.internal.editors.zeditor.ZEditor.createPartControl(ZEditor.java:586)

                at org.eclipse.ui.internal.e4.compatibility.CompatibilityPart.createPartControl(CompatibilityPart.java:129)

                at org.eclipse.ui.internal.e4.compatibility.CompatibilityEditor.createPartControl(CompatibilityEditor.java:95)

                at org.eclipse.ui.internal.e4.compatibility.CompatibilityPart.create(CompatibilityPart.java:300)

                at sun.reflect.NativeMethodAccessorImpl.invoke0(Native Method)

                at sun.reflect.NativeMethodAccessorImpl.invoke(Unknown Source)

                at sun.reflect.DelegatingMethodAccessorImpl.invoke(Unknown Source)

                at java.lang.reflect.Method.invoke(Unknown Source)

                at org.eclipse.e4.core.internal.di.MethodRequestor.execute(MethodRequestor.java:56)

                at org.eclipse.e4.core.internal.di.InjectorImpl.processAnnotated(InjectorImpl.java:859)

                at org.eclipse.e4.core.internal.di.InjectorImpl.processAnnotated(InjectorImpl.java:839)

                at org.eclipse.e4.core.internal.di.InjectorImpl.inject(InjectorImpl.java:111)

                at org.eclipse.e4.core.internal.di.InjectorImpl.internalMake(InjectorImpl.java:319)

                at org.eclipse.e4.core.internal.di.InjectorImpl.make(InjectorImpl.java:240)

                at org.eclipse.e4.core.contexts.ContextInjectionFactory.make(ContextInjectionFactory.java:161)

                at org.eclipse.e4.ui.internal.workbench.ReflectionContributionFactory.createFromBundle(ReflectionContributionFactory.java:102)

                at org.eclipse.e4.ui.internal.workbench.ReflectionContributionFactory.doCreate(ReflectionContributionFactory.java:71)

                at org.eclipse.e4.ui.internal.workbench.ReflectionContributionFactory.create(ReflectionContributionFactory.java:53)

                at org.eclipse.e4.ui.workbench.renderers.swt.ContributedPartRenderer.createWidget(ContributedPartRenderer.java:141)

                at org.eclipse.e4.ui.internal.workbench.swt.PartRenderingEngine.createWidget(PartRenderingEngine.java:896)

                at org.eclipse.e4.ui.internal.workbench.swt.PartRenderingEngine.safeCreateGui(PartRenderingEngine.java:630)

                at org.eclipse.e4.ui.internal.workbench.swt.PartRenderingEngine.safeCreateGui(PartRenderingEngine.java:732)

                at org.eclipse.e4.ui.internal.workbench.swt.PartRenderingEngine.access$2(PartRenderingEngine.java:703)

                at org.eclipse.e4.ui.internal.workbench.swt.PartRenderingEngine$7.run(PartRenderingEngine.java:697)

                at org.eclipse.core.runtime.SafeRunner.run(SafeRunner.java:42)

                at org.eclipse.e4.ui.internal.workbench.swt.PartRenderingEngine.createGui(PartRenderingEngine.java:682)

                at org.eclipse.e4.ui.workbench.renderers.swt.StackRenderer.showTab(StackRenderer.java:1114)

                at org.eclipse.e4.ui.workbench.renderers.swt.LazyStackRenderer$1.handleEvent(LazyStackRenderer.java:67)

                at org.eclipse.e4.ui.services.internal.events.UIEventHandler$1.run(UIEventHandler.java:41)

                at org.eclipse.swt.widgets.Synchronizer.syncExec(Synchronizer.java:180)

                at org.eclipse.ui.internal.UISynchronizer.syncExec(UISynchronizer.java:150)

                at org.eclipse.swt.widgets.Display.syncExec(Display.java:4687)

                at org.eclipse.e4.ui.internal.workbench.swt.E4Application$1.syncExec(E4Application.java:187)

                at org.eclipse.e4.ui.services.internal.events.UIEventHandler.handleEvent(UIEventHandler.java:38)

                at org.eclipse.equinox.internal.event.EventHandlerWrapper.handleEvent(EventHandlerWrapper.java:197)

                at org.eclipse.equinox.internal.event.EventHandlerTracker.dispatchEvent(EventHandlerTracker.java:197)

                at org.eclipse.equinox.internal.event.EventHandlerTracker.dispatchEvent(EventHandlerTracker.java:1)

                at org.eclipse.osgi.framework.eventmgr.EventManager.dispatchEvent(EventManager.java:230)

                at org.eclipse.osgi.framework.eventmgr.ListenerQueue.dispatchEventSynchronous(ListenerQueue.java:148)

                at org.eclipse.equinox.internal.event.EventAdminImpl.dispatchEvent(EventAdminImpl.java:135)

                at org.eclipse.equinox.internal.event.EventAdminImpl.sendEvent(EventAdminImpl.java:78)

                at org.eclipse.equinox.internal.event.EventComponent.sendEvent(EventComponent.java:39)

                at org.eclipse.e4.ui.services.internal.events.EventBroker.send(EventBroker.java:81)

                at org.eclipse.e4.ui.internal.workbench.UIEventPublisher.notifyChanged(UIEventPublisher.java:58)

                at org.eclipse.emf.common.notify.impl.BasicNotifierImpl.eNotify(BasicNotifierImpl.java:374)

                at org.eclipse.e4.ui.model.application.ui.impl.ElementContainerImpl.setSelectedElement(ElementContainerImpl.java:171)

                at org.eclipse.e4.ui.internal.workbench.ModelServiceImpl.showElementInWindow(ModelServiceImpl.java:418)

                at org.eclipse.e4.ui.internal.workbench.ModelServiceImpl.bringToTop(ModelServiceImpl.java:385)

                at org.eclipse.e4.ui.internal.workbench.PartServiceImpl.delegateBringToTop(PartServiceImpl.java:579)

                at org.eclipse.e4.ui.internal.workbench.PartServiceImpl.bringToTop(PartServiceImpl.java:315)

                at org.eclipse.e4.ui.internal.workbench.PartServiceImpl.showPart(PartServiceImpl.java:985)

                at org.eclipse.ui.internal.WorkbenchPage.busyOpenEditor(WorkbenchPage.java:3079)

                at org.eclipse.ui.internal.WorkbenchPage.access$22(WorkbenchPage.java:3003)

                at org.eclipse.ui.internal.WorkbenchPage$8.run(WorkbenchPage.java:2985)

                at org.eclipse.swt.custom.BusyIndicator.showWhile(BusyIndicator.java:70)

                at org.eclipse.ui.internal.WorkbenchPage.openEditor(WorkbenchPage.java:2981)

                at org.eclipse.ui.internal.WorkbenchPage.openEditor(WorkbenchPage.java:2940)

                at org.eclipse.ui.actions.OpenWithMenu.openEditor(OpenWithMenu.java:338)

                at org.eclipse.ui.actions.OpenWithMenu$3.handleEvent(OpenWithMenu.java:216)

                at org.eclipse.swt.widgets.EventTable.sendEvent(EventTable.java:84)

                at org.eclipse.swt.widgets.Widget.sendEvent(Widget.java:1053)

                at org.eclipse.swt.widgets.Display.runDeferredEvents(Display.java:4169)

                at org.eclipse.swt.widgets.Display.readAndDispatch(Display.java:3758)

                at org.eclipse.e4.ui.internal.workbench.swt.PartRenderingEngine$9.run(PartRenderingEngine.java:1029)

                at org.eclipse.core.databinding.observable.Realm.runWithDefault(Realm.java:332)

                at org.eclipse.e4.ui.internal.workbench.swt.PartRenderingEngine.run(PartRenderingEngine.java:923)

                at org.eclipse.e4.ui.internal.workbench.E4Workbench.createAndRunUI(E4Workbench.java:86)

                at org.eclipse.ui.internal.Workbench$5.run(Workbench.java:588)

                at org.eclipse.core.databinding.observable.Realm.runWithDefault(Realm.java:332)

                at org.eclipse.ui.internal.Workbench.createAndRunWorkbench(Workbench.java:543)

                at org.eclipse.ui.PlatformUI.createAndRunWorkbench(PlatformUI.java:149)

                at org.eclipse.ui.internal.ide.application.IDEApplication.start(IDEApplication.java:124)

                at org.eclipse.equinox.internal.app.EclipseAppHandle.run(EclipseAppHandle.java:196)

                at org.eclipse.core.runtime.internal.adaptor.EclipseAppLauncher.runApplication(EclipseAppLauncher.java:110)

                at org.eclipse.core.runtime.internal.adaptor.EclipseAppLauncher.start(EclipseAppLauncher.java:79)

                at org.eclipse.core.runtime.adaptor.EclipseStarter.run(EclipseStarter.java:353)

                at org.eclipse.core.runtime.adaptor.EclipseStarter.run(EclipseStarter.java:180)

                at sun.reflect.NativeMethodAccessorImpl.invoke0(Native Method)

                at sun.reflect.NativeMethodAccessorImpl.invoke(Unknown Source)

                at sun.reflect.DelegatingMethodAccessorImpl.invoke(Unknown Source)

                at java.lang.reflect.Method.invoke(Unknown Source)

                at org.eclipse.equinox.launcher.Main.invokeFramework(Main.java:629)

                at org.eclipse.equinox.launcher.Main.basicRun(Main.java:584)

                at org.eclipse.equinox.launcher.Main.run(Main.java:1438)

                at org.eclipse.equinox.launcher.Main.main(Main.java:1414)