All posts by Seph Soliman

JEdit – Performance tips

jEdit starts a "jedit server" that loads your settings, environment and basicly loads everything but the GUI.
This process is what slows it down, but there are several things you can do to speed up the process:

  1. Upgrade to Java 1.7 (beta). I find it rock stable, but you might not.
  2. On Linux, you may enable OpenGL rendering by passing the following arguments: java -Dsun.java2d.opengl=True -jar jedit.jar
  3. Keep the number of plugins low. Don't install too many auto-complete plugins such as DotComplete. It takes time to load the language-dictionaries in these plugins.
  4. Last but not least: to have the jedit "server" running as a daemon in the background seriously decreases startup-time!
    However, it comes with a catch: Some plugins still require you to restart jedit in order to use them. 4.2 includes a new plugin-API that allows dynamic loading, so with time this isn't an issue. Also: certain setting-changes require you to restart jedit.
    Restarting jedit isn't just closing the window. You need to kill the jedit-server process, but it's just labeled "java"/"javaw" in most task-manager tools on both Linux and Windows. Just kill those you can find, but be warned that you may kill other java programs if you get the wrong process.

    Run this command to start the server-daemon:
    java -jar jedit.jar -nogui -background

Scrollwheel with Firefox in Xorg

How do I get my scrollwheel to work in Firefox/Mozilla in Xorg on Linux?

– Log on as root
– Edit file /etc/X11/xorg.conf with your favorite editor:

The MS Explorer 3.0 really has 7 buttons: left, right, middle, scroll up, scroll down and 2 thumb buttons, which X needs to know.
My section looks like this, which should work for you as well.

Section "InputDevice"
Identifier "Configured Mouse"
Driver "mouse"
Option "Device" "/dev/input/mice"
Option "ButtonMapping" "1 2 3 6 7 4 5"
Option "Buttons" "7"
Option "ZAxisMapping" "4 5"
EndSection

Please note that certain options might vary from distro to distro, such as the Device and Protocol options.

I use both Debian (unstable) and Ubuntu (5.10), on which this sections work perfectly.