| #
2ec54cc3 |
|
19-Jun-2017 |
wenzelm <none@none> |
clarified modules;
--HG--
rename : src/Tools/jEdit/src/bibtex_jedit.scala => src/Tools/jEdit/src/jedit_bibtex.scala
|
| #
c4befa17 |
|
14-Mar-2017 |
wenzelm <none@none> |
clarified modules;
|
| #
2c79abce |
|
07-Mar-2017 |
wenzelm <none@none> |
clarified modules: spell-checker in Pure;
--HG--
rename : src/Tools/jEdit/src/spell_checker.scala => src/Tools/jEdit/src/jedit_spell_checker.scala
|
| #
91ce0525 |
|
21-Jan-2016 |
wenzelm <none@none> |
more robust initialization: createMenu(_, null) is called early (during EditPane creation), thus it precedes the startup_failure dialog and could crash if PIDE.options are uninitialized;
|
| #
4f900645 |
|
10-Aug-2015 |
wenzelm <none@none> |
added action to toggle breakpoints (on editor side);
|
| #
cc6d46fa |
|
05-Oct-2014 |
wenzelm <none@none> |
clarified modules;
|
| #
ced49a5b |
|
05-Oct-2014 |
wenzelm <none@none> |
clarified modules;
|
| #
db21b57c |
|
05-Oct-2014 |
wenzelm <none@none> |
clarified modules;
|
| #
c287af01 |
|
05-Oct-2014 |
wenzelm <none@none> |
maintain Document_Model.bibtex_entries;
clarified Chunk predicates;
|
| #
dfe8927a |
|
03-Oct-2014 |
wenzelm <none@none> |
SideKick parser for bibtex entries;
tuned signature;
|
| #
b18047b0 |
|
03-Oct-2014 |
wenzelm <none@none> |
more buffer.isEditable checks;
|
| #
51181c8a |
|
03-Oct-2014 |
wenzelm <none@none> |
context menu for bibtex entries;
|
| #
ec248916 |
|
15-Apr-2014 |
wenzelm <none@none> |
more context-sensitivity;
|
| #
91b6b10e |
|
14-Apr-2014 |
wenzelm <none@none> |
avoid conflict of Isabelle/jEdit popups with jEdit context menu;
|
| #
1b846ed7 |
|
15-Apr-2014 |
wenzelm <none@none> |
explicit menu action to complete word;
|
| #
9ad40e99 |
|
15-Apr-2014 |
wenzelm <none@none> |
common context menu for Isabelle/jEdit;
|