Re: [isabelle] Isabelle2016-RC0: HiDPI + Linux



For information, here is a related thread on the jedit-devel mailing list on "Global font scaling?" http://sourceforge.net/p/jedit/mailman/message/34376635/


	Makarius




This archive was generated by a fusion of Pipermail (Mailman edition) and MHonArc.