Looking at the screenshot, it seems that you may have a high DPI setting for your resolution.
Unlike other apps, as Font Chooser, which use absolute font sizes, Jwdp font is proportional to DPI. So with font size is 10pt, for normal DPI=96 you see font as is. But if DPI=120, the actual size is increased, so it's 12pt or so. To know for sure if that's the issue, try to set DPI value to 96 in display settings in Linux. > From: Bill Harris <[EMAIL PROTECTED]> > > Oleg Kobchenko writes: > > > Bill, two years ago I wrote a FontChooser helper-dialog > > utility specialized for J font format. > > > > http://www.jsoftware.com/pipermail/beta/2006-September/002100.html > > > > Please follow this link and allow it to run as an > > applet from the browser. Click on [Choose Font] button > > and select the font/size/style combination that pleases > > you most. Select [OK] as it will apply the font. Then > > practice in the text are to make sure it's what you want. > > Oleg, > > Thanks; that looks helpful. > > The default, out-of-the-box behavior of Font Chooser almost looks okay; > I just turned off bold. As you can see at > http://facilitatedsystems.com/fontchooser.png, J's Monospaced 8 is much > bigger than Font Chooser's Monospaced 12 (you can see the .ijx window > undernearth the transparent screenshot window). > > > Post back the selected font parameters. > > Monospaced 12, as shown in the above screenshot. > > > Also paste those font parameters into the config file > > manually and restart J. See if that works for you. > > `head config.ijs' shows > > - ------------------------------------------------------------------------ > NB. configuration > > FIXFONTJ=: '"Monospaced" 8' > PROFONTJ=: 'sansserif 10' > FIXFONTW=: '"Courier New" 12' > PROFONTW=: '"MS Sans Serif" 10' > PRINTERFONT=: '"Courier New" 12' > P2UPFONT=: '"Courier New" 7.5 bold' > SMPRINT=: 'print' > PRINTOPT=: '' > - ------------------------------------------------------------------------ > > I'll try to get back to more experimentation later today, but perhaps > this suggests something to someone. > > > The FontChooser matches the update in Jwdp for font size > > represented in points rather than pixels as earlier. > > > > However, some of Jwdp and/or scripts may still have > > values in the old pixels. > > That sort of difference could explain things. > > 9!:14'' > j602/2008-03-03/16:45 > 9!:12 '' > 5 ---------------------------------------------------------------------- For information about J forums see http://www.jsoftware.com/forums.htm
