Ask Your Question

Revision history [back]

click to hide/show revision 1
initial version

Possibly an easier way of getting this to work that doesn't depend telling a virtual machine it will be displaying graphical output on a HiDPI device would be to get the virtual machine to accept connections on a network interface that can be connected to from the host machine and then connect with a browser on the Windows side with the sage server/worker in the virtual machine. That way the graphics on the virtual machine side are completely irrelevant.

I have tried to deal with similar issues and I don't think just changing the DPI value to 200 will work -- modern linux distributions seem to work nicely on HiDPI (and they seem to detect when to do so), it seems they tend to arrive there by working around X11's idea of DPI (for instance, for gnome the magic seems to be gsettings set org.gnome.desktop.interface scaling-factor 2), and for some legacy applications I haven't found a way to fix them (certainly, anything depending on bitmap fonts seems out of luck). For instance, for maple's graphical interface I have found the accessibility "Desktop Zoom" the only reasonable option (Super+Alt 8 in Gnome -- if you set the mouse to "push" rather than "center" it's actually pretty usable).

Possibly an easier way of getting this to work that doesn't depend telling a virtual machine it will be displaying graphical output on a HiDPI device would be to get the virtual machine to accept connections on a network interface that can be connected to from the host machine and then connect with a browser on the Windows side with the sage server/worker in the virtual machine. That way the graphics on the virtual machine side are completely irrelevant.

According to http://wiki.sagemath.org/SageAppliance you should be able to connect to https://localhost:8000 on the windows side and get a connection to the sage notebook running in the virtual machine. The "virtual machine" window should be basically irrelevant from that point onward.

I have tried to deal with similar issues and I don't think just changing the DPI value to 200 will work -- modern linux distributions seem to work nicely on HiDPI (and they seem to detect when to do so), it seems they tend to arrive there by working around X11's idea of DPI (for instance, for gnome the magic seems to be gsettings set org.gnome.desktop.interface scaling-factor 2), and for some legacy applications I haven't found a way to fix them (certainly, anything depending on bitmap fonts seems out of luck). For instance, for maple's graphical interface I have found the accessibility "Desktop Zoom" the only reasonable option (Super+Alt 8 in Gnome -- if you set the mouse to "push" rather than "center" it's actually pretty usable).