Martin wrote:
> Thanks Dan!
Of course!
I wrote:
> which is where JHS specifies the font family
> (in CSS) of the IJX tab. Not
> sure where this manifests up on your
> filesystem [...]
Martin wrote:
> will be svn artefacts.
Sorry, I should have communicated this better. I didn't have JHS installed
on the computer where I wrote my email, so the only way I could help you
track down the code in question was through svn (via Trac).
But now that I'm at home, I can just grep my (slightly outdated) J7 install:
9!:14 ''
j701/beta/2009-09-23/11:25
load'files dir strings'
'~'0}&> (z-&#r) }.&.> (#~ 'monospace' +./@:E. S:0 fread&.>) {."1
dirtree '*.ijs' ,~ z=.jpath r=.'~system\'
~system\classes\plot\jzplot.ijs
~system\classes\plot\plotdefs.ijs
~system\extras\config\stdcfg.ijs
~system\extras\util\jhserver.ijs
~system\extras\util\minijx.ijs
~system\main\sysenv.ijs
That 3rd to last one looks intriguing:
({~ (i:2) +/ [: I. 'monospace' +./@:E.S:0 ]) LF cut fread jpath
'~system\extr
as\util\jhserver.ijs'
+--------------------------------------------------------+
|NB. html config parameters |
+--------------------------------------------------------+
|config=: 3 : 0 |
+--------------------------------------------------------+
|PC_FONTFAMILY=: '"courier new","courier","monospace"' |
+--------------------------------------------------------+
|PC_FONTSIZE=: '12px' |
+--------------------------------------------------------+
|PC_FONT_COLOR=: 'black' NB. default font color |
+--------------------------------------------------------+
Bingo.
-Dan
----------------------------------------------------------------------
For information about J forums see http://www.jsoftware.com/forums.htm
