On May 11, Kostas Oikonomou <[EMAIL PROTECTED]> wrote:

    I just built 7.0.1 from source, and have two immediate 
    1) How do I set the web browser invoked by Help to something 
    other than the default "firefox"?
    2) Is it possible to make the size of the font in Help 
    windows larger?
    Thanks very much.
                                        Kostas Oikonomou
Hi Kostas,
Sorry for the delay . . .

To use a different browser, you can set the ptolemy.ptII.browser

>From the command line, try:

java -classpath $PTII -Dptolemy.ptII.browser=c:/Program\ Files/Internet\ 
Explorer/iexplore.exe ptolemy.vergil.VergilApplication

When configure is run, Ptolemy II reads $PTII/lib/ptII.properties.in
and generates $PTII/lib/ptII.properties.

ptII.properties is read at run time.

So, you could edit $PTII/lib/ptII.properties.in and uncomment the
iexplorer line:

# Override the default choice of browser, see 
# $PTII/ptolemy/actor/gui/BrowserLauncher.java
ptolemy.ptII.browser=c:\\Program\ Files\\Internet\ Explorer\\iexplore.exe
#ptolemy.ptII.browser=c:\\Program\ Files\\Mozilla\ Firefox\\firefox.exe

Then rerun configure.

Or, you could just edit ptII.properties, but your changes would be
lost the next time you run configure.

Unfortunately, it seems like ptII.properties is not being read in the
Windows installer, I'll see about a fix.

To change the font size, try editing the font-size
fields in $PTII/doc/default.css


Christopher Brooks (cxh at eecs berkeley edu) University of California
Chess Executive Director                      US Mail: 337 Cory Hall #1774
Programmer/Analyst Chess/Ptolemy/Trust        Berkeley, CA 94720-1774
ph: 510.643.9841 fax:510.642.2718             (office: 400A Cory)
home: (F-Tu) 707.665.0131 (W-F) 510.655.5480  

Posted to the ptolemy-hackers mailing list.  Please send administrative
mail for this list to: [EMAIL PROTECTED]

Reply via email to