Menu
▾
▴
Re: [CZT-Devel] Problem installing jEdit plugin
|
From: Leo F. <leo...@ne...> - 2013-04-09 09:47:46
|
Hi guys, We will test here on Windows as much as we can, but Linux/Mac get more day-to-day use. A note on "defaults", as part of new features, we closed some loops (left on the Iso Z Std) on how file / project management is to take place. These are relatively obvious, yet to be documented like default parsers-by-extension, directories, etc. On the jEdit plugins, they are on the nightly build as well. Best, Leo On 3 Apr 2013, at 13:42, Andrius Velykis <and...@ne...<mailto:and...@ne...>> wrote: Dear Anthony, 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.. Well as I said I’ve never used Eclipse at all, so I’m fumbling here – I must say it does look very nice though and indeed I can get an Object Z character map. The only thing I couldn’t see how to do was to get an Object-Z specification created. It has an option to create a new Z specification, but even though I’d set the compile to oz, it created a file with a zed8 extension rather than an oz8 extension. I tried Create file instead and gave the extension as oz8, but that just seemed to create an ordinary text file. I’m sure I’m doing something silly, though – as I say this is my first ever experience of Eclipse! 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. 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? The errors are unexpected. I know Leo's been doing some changes to VCG so maybe there are problems, though the last automatic build of `master` did pass correctly.. Are you getting this error on Windows? We will try to investigate. Yes they are on Windows (W7 64 bit). We have not tested much on Windows recently, so maybe it is worth checking it out. :) I am afraid that CZT font still needs to be installed. I know loading the font automatically should not be hard to add, but at the moment it needs to be installed. The need to install it wasn’t the problem – my concern was that the font itself used to be broken in some way that crashed windows pretty severely and I didn’t want to install it without knowing that had been fixed. (Yes, I know – who would write an OS that could be crashed by a defective font…? But it’s true – I managed to pull the same trick with my own font at one point) 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. I am not sure whether that is necessary. You need to get the czt.jar and the jEdit plugins - that should be enough? Yes – but without building where would I get the jEdit plugins? Again I’m sure the answer is obvious to you but it wasn’t to me – sorry. Anyway, done it now. 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/ Can you tell me a bit more about Z-Eves? I had thought that Z-Eves was dead: if that’s not true I’d be very interested in finding out more about it. 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. Answers are certainly helpful. I will try to revive the memory consumption work, though I fear it may be deep inside CZT and beyond my competence. The core developers are still around so I think help would come if needed :) Thanks, Andrius ------------------------------------------------------------------------------ Minimize network downtime and maximize team effectiveness. Reduce network management and security costs.Learn how to hire the most talented Cisco Certified professionals. Visit the Employer Resources Portal http://www.cisco.com/web/learning/employer_resources/index.html_______________________________________________ CZT-Devel mailing list CZT...@li... https://lists.sourceforge.net/lists/listinfo/czt-devel |
