Where is this font size set for JMP mapping?

[#1]

The font the arrow points to.

Thanks!

dt = Open( "$SAMPLE_DATA/Big Class.jmp" );
p1 = dt << Graph Builder(
	Variables( X( :weight ), Y( :height ), Group X( :age ), Color( :sex ) ),
	Elements( Bar( X, Y, Legend( 5 ), Response Axis( "X" ), Summary Statistic( "Sum" ) ) )
);

[#2]

• Of course, it can not be adjusted individually, and the overall font of the drawing can be reduced.

Thanks Experts!

[#3]

I tried again. It could only be this.I thought it was the scope of the graph, so I didn't find it before.

Thanks!

[#4]

I think that is controlled by "Text" font size (like many other things).

Wish list item Right-click to change Group font and font size 

[#5]

Yes, this is obviously not a good idea.

In order to reduce the font there, the result is that the font in many other places is reduced.

Thanks!

[#6]

How do I use the JSL implementation to change the Text font in Font in Preferences from 9 to 12?

Thanks Experts!

Set Preferences( Fonts( Text( Size( 12 ) ) ) );//？

[#7 · Accepted solution]

Use

Names Default To Here( 1 );
Get Preferences( );

and then in the log you will see the structure for the preference in question and you will then be able to use 

Preferences (	Fonts(
		English(
			Text Font( "Segoe UI", 9 )
                )
)

[#8]

Thank Jim!