On Wed, 18 Mar 2009, Sherlock Ric wrote:
> .... The font
> size specified in Edit|Configure|Display doesn't change.
That setting expects a mono font for display inside client area of ijx
and ijs windows. There is another font setting used by ide in
Edit|Configure|Form that can be proportional font for displaying all
others.
> What information does J use to decide how big to display fonts in
> Jwdp? I quite like working in full screen on my 1680x1050 screen,
> but when I do that, whenever I want to start a new J session, I have
> to resize the window to be small, or else I get huge text.
I don't know the detail but j should have to create an invisible form
to guess the screen dpi during booting.
--
regards,
====================================================
GPG key 1024D/4434BAB3 2008-08-24
gpg --keyserver subkeys.pgp.net --recv-keys 4434BAB3
唐詩187 杜甫 登樓
花近高樓傷客心 萬方多難此登臨 錦江春色來天地 玉壘浮雲變古今
北極朝庭終不改 西山寇盜莫相侵 可憐後主還祠廟 日暮聊為梁父吟
----------------------------------------------------------------------
For information about J forums see http://www.jsoftware.com/forums.htm
