Stack Overflow
Stack Overflow

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
2
votes
2 answers

exec() in BeanShell macro causes jEdit to hang when it returns non-zero exit code

I have a jEdit BeanShell macro that runs my Markdown files through Maruku when I save them: if (buffer.getMode().toString().equals("markdown")) { cmd = "C:\\Ruby\\bin\\maruku.bat -o " + buffer.getDirectory() +…
rossmeissl
  • 153
  • 2
  • 6
1
vote
1 answer

How to get a function list of a JavaScript file with jEdit's Sidekick on a Mac?

I have a Mac with jEdit 4.5 installed on it, including the Sidekick and the JavaScript plugin from here1. Now when I open the Sidekick window, I can choose from two JavaScript parsers (skrul-xml-javascript and skrul-javascript). However, none of…
Joker
  • 153
  • 7
1
vote
2 answers

Need a "one-click" webdev hotkey workflow solution

Question for all you webdev guys/gals who have found a minimal-hassle development environment. OS: Win7 Editor: JEdit Task: Previewing work in a web browser I would like to program a single hotkey to pack the following series of hotkeys into one.…
ND45
  • 11
  • 1
1
vote
2 answers

How to upload to sonarqube a java project without maven or gradle?

I have downloaded an open-source project, jEdit version 5.5, but it doesn't have maven or gradle. I would like to analyze it using SonarQube, but if I choose the other alternative besides maven and gradle for the analyze, I get an error that I have…
WillUpdate
  • 53
  • 6
1
vote
1 answer

Multiline regexp in jEdit custom mode

I'm currently creating a language with a friend and I would like to provide a highlighting for it in jEdit. It's syntax is actually quite simple. The functions can only match this pattern: $function_name(arguments) Note that our parser is currently…
Romain360
  • 282
  • 1
  • 4
  • 11
1
vote
1 answer

Isabelle/jEdit: Emacs Set Mark does not work

I am new to Isabelle/jEdit. I am accustomed to Emacs, so I'd like to set the shortcuts in Emacs style. It went well in most cases, but the command Emacs Set Mark does not work. When I invoke the command, the message "Input/output complete" appears…
Yosuke Ito
  • 15
  • 3
1
vote
2 answers

jEdit - Filter SVN directories/files out of "Search in Directory" function

Using the jEdit programmer's text editor, given a directory of existing code, I have been searching for and updating references in directories using the "Search in Directory" function. However, the directory also contains SVN files and…
Zoot
  • 2,217
  • 4
  • 29
  • 47
1
vote
1 answer

can we use cartouches instead of quotation marks to delineate inner syntax in jEdit Isabelle/HOL sessions

In typing statements of a proof into an Isabelle (2020) theory file, e.g., from ‹prime p › have p: "1 < p " the jEdit interface application pops up a tooltip offering to insert an open cartouche command \ when I type a quotation mark. As you…
Dalton Bentley
  • 147
  • 8
1
vote
1 answer

Proving a type classed theorem in Isabelle

I am to prove a triviality using type classes: class order = fixes lesseq :: " 'a ⇒ 'a ⇒ bool" (infix "≼" 50) assumes refl: "x ≼ x" and trans: "x ≼ y ⟹ y ≼ z ⟹ x ≼ z" and antisym: "x ≼ y ⟹ y ≼ x ⟹ x = y" begin theorem…
Gergely
  • 6,879
  • 6
  • 25
  • 35
1
vote
1 answer

Exploring ML files in Isabelle

I was wondering if in Isabelle ML files there is a way to activate the feature that normal theory files have, i.e, you can press Ctrl+click with mouse in a definition and get the desired definition. However, this does not seem to work for ML files.…
user1868607
  • 2,558
  • 1
  • 17
  • 38
1
vote
1 answer

JEdit settings and plugins

I would like to prepare a version of JEdit that my students could use right away, without having to install the necessary plugins and changing many settings. Is there a "clean" way of doing this, i.e. something that would be cross-platform and…
Marjorie
  • 71
  • 3
1
vote
2 answers

How can I enter symbols from set theory in Isabelle/jEdit?

How can I enter symbols like ∈, ⊆, ∪, and ∩ in Isabelle/jEdit? The Isabelle/HOL tutorial says, I should enter “:”, “<=”, “Un”, and “Int”. However, “<=” gives ≤, and the others are not translated to any symbols at all. The only option I see so far is…
Wolfgang Jeltsch
  • 781
  • 5
  • 10
1
vote
1 answer

how to change the amount of java memory heap for Jason-JEdit generated processes? [Linux]

how to change the amount of java memory heap for Jason-JEdit generated processes? I'm running code edited in Jason-JEdit, as part of the application a NetLogo process is started, originated by the first one, but a heap size error appears. The main…
Arturo
  • 13
  • 4
1
vote
1 answer

How to add jar Library to jEdit?

I want to add SwingSets3(BeautyEyeLNFDemo).jar to my program library in jEdit. I can do this easily in netbeans, by using add jar/folder on library folder. I try moving the .jar file to program folder and Jedit folder but it doenst work. I have…
azzamsa
  • 1,805
  • 2
  • 20
  • 28
1
vote
2 answers

jEdit: How to turn on syntax highlight for a given extension?

I want .xslt files to be highlighted as XML in jEdit. How to do it in jEdit?
porton
  • 5,214
  • 11
  • 47
  • 95
1 2
3
…
8 9