* register editor listener, and determine installation
* directory.
*/
private static void initMisc()
{
inputHandler = new DefaultInputHandler();
windowHandler = new WindowHandler();
// Add our protocols to java.net.URL's list
System.getProperties().put("java.protocol.handler.pkgs",
"org.gjt.sp.jedit.proto|" +