Le mar. 30 janv. 2024 à 11:36, Qian Yun <[email protected]> a écrit :
> (1) -> )synonym > ... > )hd ............................ )system hypertex & > > > As shown above, ")hd" is shortcut for ")system hypertex &". > This information should be mention somewhere. Ageed. > And Thanks, I did not know. But having this information, starting HyperDoc, via )synonym is somewhat clumsy. > > BTW, you know that "fricas -nox" can start without HyperDoc, right? Yes, of course. Or fricas -nohd which is preferable from my point of view since it allows you to start it if necessary. > > > Also, the error message appears when you click the windows manager's > close button, instead of the "Exit" button in HyperDoc. Yes! I forgot… > > - Qian > > On 1/30/24 17:16, Grégory Vanuxem wrote: > > Hello again, > > > > What about adding documentation of the ')hd' system command which > > starts HyperDoc. It is very handy. In fact I am in favor of not > > starting HyperDoc by default at startup but that's another point (if > > you know what you're doing HyperDoc automatic startup is annoying). > > But this requires fixing this error message from X when you close > > HyperDoc (and eventually restart it later): > > > > (1) -> )hd > > (1) -> X connection to :0 broken (explicit kill or server shutdown). > > > > Regards, > > > > - Greg > > > > -- > You received this message because you are subscribed to the Google Groups > "FriCAS - computer algebra system" group. > To unsubscribe from this group and stop receiving emails from it, send an > email to [email protected]. > To view this discussion on the web visit > https://groups.google.com/d/msgid/fricas-devel/b33ca632-e752-4703-8c86-c9b371d63915%40gmail.com > . > -- You received this message because you are subscribed to the Google Groups "FriCAS - computer algebra system" group. To unsubscribe from this group and stop receiving emails from it, send an email to [email protected]. To view this discussion on the web visit https://groups.google.com/d/msgid/fricas-devel/CAHnU2dY%2Bu_yBtrr%2BCXMaF1Oye_iViXD1CO4AZ7_2eYhELSCxLA%40mail.gmail.com.
