Il semblerait que JMP17 ait eu une régression dans les polices ListBoxBox.L'exemple ci-dessous est directement issu de l'exemple Scripting Index.Ça ne marche pas.
Des idées sur une solution de contournement?J'essaie de définir une police à espacement fixe pour une zone de liste à des fins de lisibilité, et elle échoue maintenant dans la nouvelle version...
Names Default To Here( 1 );
New Window( "Example", <<SHOW menu=""></SHOW>
Résultat de JMP Pro 17.0.0 (622753) :

Résultat JMP Pro 16.2.0 (570548) :
