Difference between workspace.useThirdParty and workspace.library #2170
-
Wondering if the two are the same thing. Also are "ambient" definitions in /types automatically discovered or do I have to add them to workspace.library? |
Beta Was this translation helpful? Give feedback.
Replies: 1 comment 2 replies
-
Hello 👋
Definition files placed in your workspace will be used, as is explained on the libraries page in the wiki. It is recommended to add a |
Beta Was this translation helpful? Give feedback.
Hello 👋
workspace.userThirdParty
is a setting that allows you to define a directory that contains many addons (previously called user libraries). Addons in the provided directory can be suggested to be enabled in a workspace if they are configured correctly and ifworkspace.checkThirdParty
is notfalse
.workspace.library
is a setting that allows you to specify paths to definition files. When applying a recommended addon from yourworkspace.userThirdParty
directory, this setting is set for you.Definition files placed in your workspace will be used, as is explained on the libraries page in the wiki. It is recommended to add a
@meta
annotation to the top of the files, though, so they are no…