Questions tagged [jedit]

jEdit is a multi-platform open source text editor written in Java.

jEdit is a multi-platform open source text editor written in Java.

It is a mature programmer's text editor with hundreds of person-years of development behind it. While jEdit beats many expensive development tools for features and ease of use, it is released as free software with full source code.

The jEdit core, together with a large collection of plugins is maintained by a world-wide developer team at SourceForge.

127 questions
23
votes
11 answers

Whatever happened to jEdit

I'm not sure if many people know about this text-editor? jEdit was kinda big in 2004, but now, Notepad++ seems to have taken the lead(on Windows) Many of the plugins haven't been updated since 2003 and the overal layout and usage is confusing... I'm…
Vordreller
  • 2,524
  • 10
  • 34
  • 51
14
votes
1 answer

Using jedit as an IDE

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.
User1
  • 39,458
  • 69
  • 187
  • 265
10
votes
3 answers

jEdit Mac OS keyboard behaviour

Is there anyway to have jEdits keyboard controls behave the same way that a native Mac OS app does? By behave I mean command+left moves the caret to the start of the line, alt+left moves to the beginning of the current word etc.
BefittingTheorem
  • 10,459
  • 15
  • 69
  • 96
8
votes
3 answers

How do I configure jEdit for Scala projects?

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?
Daniel C. Sobral
  • 295,120
  • 86
  • 501
  • 681
7
votes
3 answers

Is jEdit usable as an IDE?

After some frustration with other text editors, I recently discovered jEdit. It seems like a light-weight editor that has so many plugins that it could be grown to be a full IDE. I especially like how it handles SQL. I've found quite a few people…
User1
  • 39,458
  • 69
  • 187
  • 265
6
votes
1 answer

Building a session using `isabelle` vs jEdit

I've been working in an Isabelle 2019 session which has grown a bit large, and at some point I wasn't able to build it anymore using isabelle build in my 8G RAM machine. Nevertheless, when I open the main theory file using jEdit (running isabelle…
6
votes
3 answers

How do I add an edit mode to jEdit?

While looking for a light-weight Scala development environment, I came upon an Scala edit mode for jEdit. I don't know how to put it to use, though. How does one put a new edit mode in jEdit?
Daniel C. Sobral
  • 295,120
  • 86
  • 501
  • 681
6
votes
1 answer

What do colour codes mean in Isabelle/jEdit?

What do the colour codes mean in Isabelle/jEdit? I could not find their description in the Isabelle/jEdit manual. The only thing it writes is Prover feedback works via colors, boxes, squiggly underline, hyper- links, popup windows, icons,…
Gergely
  • 6,879
  • 6
  • 25
  • 35
5
votes
1 answer

Jedit: regular expression - how to?

It have source code that contains sections like this:
  text
long long text
  text
long long text I have to find this entry
  text
in JEdit and replace it with space. (I read the regex rules in the JEdit…
Anthony
  • 3,218
  • 3
  • 43
  • 73
5
votes
3 answers

regex AND operator with negative arguments

I'm trying to match lines that doesn't end with either . or ! and doesn't end with either ." or !" so it should match both say "bye" say "bye but shouldn't match: say "bye. say "bye! say "bye." say "bye!" I tried using positive and negative…
Mauro
  • 135
  • 9
5
votes
0 answers

Coding-style conventions in Isabelle/Isar

TL;DR: Are there any coding conventions for the Isar language? Is it necessary to respect jEdit's folding strategy? My team is working on the formalization of mathematics, so one of our main purposes is to obtain readable proofs. Looking into that,…
5
votes
2 answers

How do I display brackets around assumptions in Isabelle/jEdit?

When goals are displayed by Isabelle in ProofGeneral, assumptions are rendered as having brackets around them as so: In Isabelle/jEdit, however, this seems to have changed to meta-implication arrows: While I understand the former is somewhat…
davidg
  • 5,868
  • 2
  • 33
  • 51
4
votes
3 answers

Different Background color for columns of COBOL source

I am looking for a way to "downlight" columns in Notepad++. the COBOL compiler ignores the first 6 columns and all characters starting from column 73 (to column 80, 81+ is ignored anyway). The seventh character has a special meaning (comment,debug,…
user66899
  • 536
  • 5
  • 8
4
votes
3 answers

Intellisense in jEdit

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.
User1
  • 39,458
  • 69
  • 187
  • 265
4
votes
2 answers

Open the JEdit JDiff-Plugin from the command line

I am using JEdit with the JDiff plugin for file compares. Now I would like to open the JDiff plugin from another tool using command line parameters. Is this possible? So far I was only able to open the 2 files i want to compare in JEdit.
Florian
  • 538
  • 4
  • 11
1
2 3
8 9