EditorFontSize (Property): Difference between revisions

From Goodblox Wiki
Jump to navigationJump to search
(created the page)
 
mNo edit summary
Line 1: Line 1:
{{CatUp|Properties}}
{{CatUp|Properties}}
{{Property|
{{Property|
name = EditorFont
name = EditorFont

Revision as of 21:56, 23 September 2021

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