iinegve / muCommander

muCommander fork
3 stars 5 forks source link

Using JEdit as Embedded Editor #23

Open IvanMamontov opened 11 years ago

IvanMamontov commented 11 years ago

We can use http://www.jedit.org/api/org/gjt/sp/jedit/textarea/JEditEmbeddedTextArea.html as embedded editor. Some of jEdit's features include:

iinegve commented 11 years ago

I like it. Let's give it a chance =)

clevertension commented 9 years ago

it seems a bit large requirement

iinegve commented 9 years ago

Yeah, that's true, but we didn't have a chance to look at it closely and actually decide if we like it or not. So, if you have spare time, the whole chunk is yours =)