I found this message still in my mailbox. Recently I wanted to make my HyperDoc window appear in a readable fontsize on a 4K display. This is what I use.
FriCAS.hyperdoc.Geometry: =1500x800+0+0 FriCAS.hyperdoc.RmFont: -adobe-courier-bold-r-*-*-34-*-*-*-*-*-*-* FriCAS.hyperdoc.RmColor: black FriCAS.hyperdoc.ActiveFont: -adobe-courier-bold-r-*-*-34-*-*-*-*-*-*-* FriCAS.hyperdoc.ActiveColor: blue FriCAS.hyperdoc.FriCASFont: -adobe-courier-bold-r-*-*-34-*-*-*-*-*-*-* FriCAS.hyperdoc.FriCASColor: #008000 FriCAS.hyperdoc.BoldFont: -adobe-courier-bold-r-*-*-34-*-*-*-*-*-*-* FriCAS.hyperdoc.BoldColor: red FriCAS.hyperdoc.TtFont: -adobe-courier-bold-r-*-*-34-*-*-*-*-*-*-* FriCAS.hyperdoc.TtColor: black FriCAS.hyperdoc.EmphasizeFont: -adobe-courier-bold-r-*-*-34-*-*-*-*-*-*-* FriCAS.hyperdoc.EmphasizeColor: #800080 FriCAS.hyperdoc.InputBackground: #FFFF80 FriCAS.hyperdoc.InputForeground: black FriCAS.hyperdoc.BorderColor: black FriCAS.hyperdoc.Background: white Ralf On 6/19/20 1:54 AM, R. Bernstein wrote: >> if someone can test it? > > I tried downloading on Ubuntu Ermine. No dice. > > I didn't have a problem building it from the git clone though (aside from the > myriad warnings and it taking a long time to build). > > ``` > $ sudo dpkg -i fricas_1.3.5-1_amd64.deb > Selecting previously unselected package fricas. > (Reading database ... 602799 files and directories currently installed.) > Preparing to unpack fricas_1.3.5-1_amd64.deb ... > Unpacking fricas (1.3.5-1) ... > Setting up fricas (1.3.5-1) ... > Processing triggers for man-db (2.8.7-3) ... > $ /usr/bin/fricas > (HyperDoc) Cannot load font > -adobe-courier-medium-r-normal--18-*-*-*-m-*-iso8859-1 ; using default. > (HyperDoc) Cannot load font > -adobe-courier-medium-r-normal--18-*-*-*-m-*-iso8859-1 ; using default. > (HyperDoc) Cannot load font > -adobe-courier-medium-r-normal--18-*-*-*-m-*-iso8859-1 ; using default. > (HyperDoc) Cannot load font > -adobe-courier-bold-r-normal--18-*-*-*-m-*-iso8859-1 ; using default. > (HyperDoc) Cannot load font > -adobe-courier-bold-o-normal--18-*-*-*-m-*-iso8859-1 ; using default. > (HyperDoc) Cannot load font > -adobe-courier-medium-o-normal--18-*-*-*-m-*-iso8859-1 ; using default. > (HyperDoc) Cannot load font > -adobe-courier-bold-r-normal--18-*-*-*-m-*-iso8859-1 ; using default. > $ > ``` > > Yeah, I'm aware that there is some magic I need to do to remove the font > warnings above, but honestly I haven't found any fonts that look > significantly better and it doesn't look like Hyperdoc supports Type1 or TTF > fonts. IMHO if it did, this would go a long way towards improving the > experience. > -- 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/aed366ce-2e83-f2c5-105e-06e09b264778%40hemmecke.org.
