Re: dvi problem with jedit 4.2final

[Libero Mureddu]

Thanks again!

Now my properties file looks like this:

options.lilytool.dvi-font-path=file\:/Volumes/Documenti/sw/var/lib/ 
texmf/fonts/pk/ljfour/;file\:/Volumes/Documenti/sw/var/lib/texmf/fonts/ 
pk/ljfour/public/cm/;file\:/Volumes/Documenti/sw/var/lib/texmf/fonts/ 
pk/ljfour/jknappen/sauter/

and I can see all the elements of the score i'm typing.

Still, it remains the problem with the macro, with your suggestion I  
receive an error message like this, and I can't understand what's  
wrong:

Sourced file:  
/Volumes/Documenti/Users/libero/.jedit/startup/dvifontpath.bsh Token  
Parsing Error: Lexical error at line 1, column 56.  Encountered: ":"  
(58), after : "\"options.lilytool.dvi-font-path=file\\": <at unknown  
location>

        at bsh.Interpreter.eval(Interpreter.java:691)
        at org.gjt.sp.jedit.BeanShell._runScript(BeanShell.java:355)
        at org.gjt.sp.jedit.BeanShell._runScript(BeanShell.java:284)
        at org.gjt.sp.jedit.BeanShell.runScript(BeanShell.java:210)
        at org.gjt.sp.jedit.Macros$BeanShellHandler.runMacro(Macros.java:996)
        at org.gjt.sp.jedit.jEdit.runStartupScripts(jEdit.java:3323)
        at org.gjt.sp.jedit.jEdit.main(jEdit.java:461)
        at sun.reflect.NativeMethodAccessorImpl.invoke0(Native Method)
	at  
sun.reflect.NativeMethodAccessorImpl.invoke(NativeMethodAccessorImpl.jav 
a:39)
	at  
sun.reflect.DelegatingMethodAccessorImpl.invoke(DelegatingMethodAccessor 
Impl.java:25)
        at java.lang.reflect.Method.invoke(Method.java:324)
        at apple.launcher.LaunchRunner.run(LaunchRunner.java:88)
        at apple.launcher.LaunchRunner.callMain(LaunchRunner.java:50)
	at  
apple.launcher.JavaApplicationLauncher.launch(JavaApplicationLauncher.ja 
va:52)


of course i did my own .bsh file with the right path for my system:

jEdit.setProperty("options.lilytool.dvi-font-path=file\:/Volumes/ 
Documenti/sw/var/lib/texmf/fonts/pk/ljfour");

Hope you can help me.

Libero Mureddu


Vanha Viertotie, 21 As. 415
00350 Helsinki - Finlandia
Tel. +358-9-5808415
Mob. +358-41-7702668
address@hidden

Via Abbiati, 4
20148 Milano - Italia
Tel. +39-02-4075953
Mob. +39-339-8757587