Switching between buffers/edit panes is very slow. Any suggestions on how to improve the performance are welcome.
java version "1.6.0_22" jEdit 4.32 Mac OS X 10.6.5
Workaround -- uncheck "Show in Menubar" option in the plugin preferences
Maybe it eats much of memory, you can try to how it works with more memory: /usr/bin/jedit
default is this: JAVA_HEAP_MAX_SIZE=192
what leads to this option -Xmx${JAVA_HEAP_MAX_SIZE}M
Log in to post a comment.
Workaround -- uncheck "Show in Menubar" option in the plugin preferences
Maybe it eats much of memory, you can try to how it works with more memory:
/usr/bin/jedit
default is this:
JAVA_HEAP_MAX_SIZE=192
what leads to this option
-Xmx${JAVA_HEAP_MAX_SIZE}M