It's a pity, that internal_gui font size does not scale with internal_gui_control_size. This is the only thing missing for pymol to be usable on high-dpi displays. Is it possible that this feature will appear in future pymol versions?
Best regards, Mykola Dimura. >> Unfortunately, the graphics window fonts can't be changed. >> But you could increase the size of the buttons in the object menu panel: >> set internal_gui_control_size, 40 ------------------------------------------------------------------------------ Check out the vibrant tech community on one of the world's most engaging tech sites, Slashdot.org! http://sdm.link/slashdot _______________________________________________ PyMOL-users mailing list (PyMOL-users@lists.sourceforge.net) Info Page: https://lists.sourceforge.net/lists/listinfo/pymol-users Archives: http://www.mail-archive.com/pymol-users@lists.sourceforge.net
