4 ms·
I tried JEdit like two years ago or so and found it to be an excellent editor, but that the startup time of approx. 10 seconds was unbearable. Have they fixed t
by jpd 18y ago
I tried JEdit like two years ago or so and found it to be an excellent editor, but that the startup time of approx. 10 seconds was unbearable. Have they fixed that yet?
- jhawk28 18y agoYes, they created a "JEdit server": http://www.jedit.org/users-guide/starting.html http://www.jedit.org/users-guide/starting.html It keeps an instance running so startup time is smaller.