Repository navigation
Point contributors to the editor profile example - #1602
Conversation
|
@DevxDre thank you, and for the care with the guides. I'm not going to merge this as it is, because it makes the editor profile a requirement for every new tool and option, and that would slow down all other work on the editor, mine included. The profile is meant for hosts like workshops, not as a rule for each new tool. If you like, change it into a short hint that says a tool can be made configurable through the profile where a host needs it, following the Fillet example, and drop |
…ex/editor-profile-contribution-standard
|
@DevxDre thank you, this is just the lighter version I had in mind: a short hint that the profile is there when a host needs it, with the Fillet example to follow, and no requirement for every new tool. I have merged it, and it comes with the next release. |
|
@DevxDre this is out now too, in layerling 1.156.4. |
Point contributors to the editor profile example
Add a short note to the English and German contribution guides. When a host needs a tool to be configurable for a workshop or a similar setting, contributors can follow the Fillet example and use the existing editor profile.
The PR changes contributor documentation only. The README link and the Fillet example were checked, and
git diff --checkpassed.