Help
EditorFontSize (Property): Difference between revisions
From Goodblox Wiki
Jump to navigation
Jump to search
Revision as of 21:56, 23 September 2021
(
view source
)
Xyrafrost
(
talk
|
contribs
)
m
No edit summary
← Older edit
Latest revision as of 02:36, 24 September 2021
(
view source
)
Xyrafrost
(
talk
|
contribs
)
m
No edit summary
Line 8:
Line 8:
[[Category:Properties]]
[[Category:Properties]]
[[Category:Settings]]
Latest revision as of 02:36, 24 September 2021
Up one category:
Properties
Property
Name
EditorFont
Property
Integer
FontSize
Description:
The font size used in the scripting interface.
In Object:
Authoring
Categories
:
Properties
Settings
Navigation menu
Page actions
Page
Discussion
Read
View source
History
Page actions
Page
Discussion
More
Tools
Personal tools
Log in
Navigation
Main page
The FAQ
Tutorials
Recent changes
Random page
Help
Wiki Guidelines
Search
scripting help
Goodblox Lua
General Scripting
Functions
Class Reference
Tools
What links here
Related changes
Special pages
Printable version
Permanent link
Page information