Changing default tip label font size

This commit is contained in:
Auden Cote-L'Heureux 2023-12-22 12:00:21 -05:00 committed by GitHub
parent a53c89fdd7
commit 39a3ecb5d8
No known key found for this signature in database
GPG Key ID: 4AEE18F83AFDEB23

View File

@ -83,7 +83,7 @@ figtree_format = '''begin figtree;
set tipLabels.colorAttribute="User selection"; set tipLabels.colorAttribute="User selection";
set tipLabels.displayAttribute="Names"; set tipLabels.displayAttribute="Names";
set tipLabels.fontName="sansserif"; set tipLabels.fontName="sansserif";
set tipLabels.fontSize=8; set tipLabels.fontSize=12;
set tipLabels.fontStyle=0; set tipLabels.fontStyle=0;
set tipLabels.isShown=true; set tipLabels.isShown=true;
set tipLabels.significantDigits=4; set tipLabels.significantDigits=4;