jedit

How to use Jedit as the external editor of 7zip

感情迁移 提交于 2019-12-12 02:49:33
问题 I am trying to use Jedit as an external editor to 7zip. 7zip opens Jedit as external editor however edits are only saved back if Jedit was not running previously. I probably should pass -noserver or -newview command line arguments to Jedit as an external editor, but when I do that 7zip gives an error: 'Cannot start editor'. How could I use Jedit as an external editor to 7zip so that edits are saved back? 回答1: You cannot give arguments to the programs you configure in 7-Zip. What you need to

How to synchronise jEdit settings between multiple computers

我与影子孤独终老i 提交于 2019-12-10 17:32:08
问题 I use jEdit as a text editor, because it's cross-platform, and has all the features I need (Java regular expressions, keystroke macros, etc). However, it's a pain to set up on a new computer, and to synchronise settings (keyboard bindings, file save options, etc). Can anyone suggest a good way of doing this? Ideally it should synchronise in the background, perhaps writing to a Dropbox folder. I've had a look in the jEdit plugins, and there doesn't appear to be anything. Thanks! 回答1: I use the

How can I create a netbeans 7.3 project wrapping the jedit source code?

允我心安 提交于 2019-12-08 10:37:43
问题 I thought this is an easy question because there's already a wiki topic about this here especially this section. however the wiki is out of date. A prior question exists here on Stackoverflow that only has a reference to these now out of date wiki topics. The netbeans wiki must be for some older version of NetBeans UI, and I'm using NetBeans 7.3. If I try to use the existing sources option in 7.3 it assumes that you cannot have a build.xml already, and so it tells you you cannot proceed: For

How do I configure jEdit for Scala projects?

*爱你&永不变心* 提交于 2019-12-06 22:13:49
问题 I'd like to be able to use jEdit to write, compile and test projects written in Scala. How can I configure it to do so? 回答1: The new link appears to be http://wiki.liftweb.net/index.php?title=SetUp_jEdit 回答2: May be this JEdit Setup with Scala setup jEdit to develop Scala can help you ? (new updated link, as mentioned by David Vydra in his answer) It refers to a JEdit fully configured to run Scala projects. http://wiki.liftweb.net/images/9/91/Screenshot-jedit.png 回答3: I literally just use the

How to use persistent heap images to make loading of theories faster in Isabelle/jEdit?

|▌冷眼眸甩不掉的悲伤 提交于 2019-12-05 20:27:36
Let's assume I have a directory isabelle_afp where a lot of theories are stored. This directory is a library and I do not plan to change the files in it. I want to speed up the start-up time of Isabelle/jEdit (by default, all theories in isabelle_afp my current theory depends on are processed anew). How can I skip this step? The system manual tells me to build a persistent heap image . What is the easiest way to do so? And how can I tell Isabelle/jEdit to load this heap image? Isabelle/jEdit in Isabelle2013 already takes care of building your heap images, by a relatively basic mechanism that

Intellisense in jEdit

拥有回忆 提交于 2019-12-05 16:12:55
Does anyone know of a plug-in that provides intellisense for jEdit? This post seems to indicate something exists, but I'm not sure how to get it working on my system. For now, I'm mainly interested in Java. IntelliSense is the name, Microsoft gave their implementation of autocompletion . So you will have no IntelliSense for jEdit (as Microsoft does not provide plugins for jEdit), but you have some implementations for autocompletion: JavaSideKick : provides autocompletion for Java (and some other helps) SideKick : general framework for coding-helpers, used by JavaSideKick TextAutocomplete: as

Using jedit as an IDE

大兔子大兔子 提交于 2019-12-03 05:59:09
问题 What are the steps necessary to configure jEdit to be an IDE? I basically want to compile and debug Java programs. There are so many Java plug-ins. I'm not sure which ones are best. 回答1: You'll need the ProjectViewer and Sidekick plug-ins at a minimum. You'll probably also want one of the various support plug-ins like: AntFarm for dealing with Apache Ant. Any of the beautifier plug-ins (which one depends on your tastes and which languages you want to support). BufferTabs if you want to see

Using jedit as an IDE

隐身守侯 提交于 2019-12-02 19:27:11
What are the steps necessary to configure jEdit to be an IDE? I basically want to compile and debug Java programs. There are so many Java plug-ins. I'm not sure which ones are best. You'll need the ProjectViewer and Sidekick plug-ins at a minimum. You'll probably also want one of the various support plug-ins like: AntFarm for dealing with Apache Ant. Any of the beautifier plug-ins (which one depends on your tastes and which languages you want to support). BufferTabs if you want to see all your opened files listed at once. Console for running apps, builds, etc. CTagsSidekick (make sure you get