EditorFontSize (Property): Difference between revisions

From Goodblox Wiki
Jump to navigationJump to search
(created the page)
 
mNo edit summary
 
(One intermediate revision by the same user not shown)
Line 1: Line 1:
{{CatUp|Properties}}
{{CatUp|Properties}}
{{Property|
{{Property|
name = EditorFont
name = EditorFont
Line 9: Line 8:


[[Category:Properties]]
[[Category:Properties]]
[[Category:Settings]]

Latest revision as of 02:36, 24 September 2021

Property
Name EditorFont
Property Integer FontSize
Description: The font size used in the scripting interface.
In Object: Authoring