Enhancements help-browses; bug browser builtin

[gorzel]

Verbesserungen zu help und den unterstuetzten Browsern:

1.) Im Help-string von Singular die Angabe zu unterstuetzten Browsern

erweitern.

gorzelc@linux:~> ./Singular --help
Singular version 3-1-0 -- a CAS for polynomial computations. Usage:
   ./Singular [options] [file1 [file2 ...]]
Options:
 -b --batch               Run in MP batch mode

 --browser=BROWSER     Display help in BROWSER ([x,tk]info, netscape)
                                                         ------------
                                                              ^     

Hier aktualisieren: firefox, etc...

2.) Ersetze in help.cnf (in /LIB )

firefox!xDhE:firefox:!firefox %h &

durch

firefox!xDhE:firefox:!firefox -new-tab "%h" &

Hierdurch wird bei mehrfachem Aufruf von help ...; nicht jeweils ein neues Fenster, sondern nur eine neuer tab geoeffnet. Das macht die ganze Sache uebersichtlicher!

 > help int;
 > help bigint;

3.) Die Meldungen ueber den Aufruf des Browsers, die beim Aufruf von

help ...; erscheinen, sehen so aus, als wenn es sich in (noch) einem Entwicklungsstand (debugmodus) befindet.

> help int;
// ** Displaying help in browser 'firefox'.
// ** Use 'system("--browser", <browser>);' to change browser,
// ** where <browser> can be: "firefox", "konqueror", "xinfo", "info", "lynx", "builtin", "dummy", "emacs".
running `firefox -new-tab "file://localhost/home/gorzelc/Singular/3-1-0/html/sing_81.htm#SEC122" &`

Diese Meldung kann entfallen, denn im Handbuch ist bei help beschrieben, wie man einen anderen Browser auswaehlt.

> help bigint;
running `firefox -new-tab
"file://localhost/home/gorzelc/Singular/3-1-0/html/sing_69.htm#SEC110" &`

Es sollte "silent" ablaufen, und nur etwas melden, wenn etwas nicht funktioniert.

4.) Der "Browser" builtin funktioniert jedoch nur einmal.

Verlaesst man den builtin-Browser mit "x", so funktioniert er erst wieder, wenn auf einen anderen Browser umgeschaltet hatte.

> system ("--browser","builtin");
> help int;
// ** Displaying help in browser 'builtin'.
// ** Use 'system("--browser", <browser>);' to change browser,
// ** where <browser> can be: "firefox", "konqueror", "xinfo", "info", "lynx", "builtin", "dummy", "emacs".

File: singular.hlp,  Node: int,  Next: intmat,  Prev: ideal,  Up: Data types

int
===

Variables of type int represent the machine integers and are, therefore,
* int operations::

 Press <RETURN> to continue or x to exit help.
x

> help int;
// ** ` int ` not found

> system ("--browser","builtin");
> help int;
// ** ` int ` not found

// Umschalten auf firefox
> system ("--browser","firefox");
> help int;
running `firefox file://localhost/home/gorzelc/Desktop/Singular/3-1-0/html/sing_81.htm#SEC122 &`

// Umschalten auf builtin, und es klappt wieder  genau einmal

> system ("--browser","builtin");
> help int;

File: singular.hlp,  Node: int,  Next: intmat,  Prev: ideal,  Up: Data types

int


 Press <RETURN> to continue or x to exit help.
x
> help bigint;
// ** ` bigint ` not found
> 

[hannes]

1) fixed 2) wontfix: too many difference between firefox versions

erveryone who prefers it differently may change help.cnf hinself

3) wontfix: this hint is needed for people with a browser

in a different workspace: nearly all Gnome/KDE/FWM user

4) fixed