You signed in with another tab or window. Reload to refresh your session.You signed out in another tab or window. Reload to refresh your session.You switched accounts on another tab or window. Reload to refresh your session.Dismiss alert
--noSpaceBeforeColon should toggle the FormatConfig.SpaceBeforeColon option, but because SpaceBeforeColon defaults to false, and the --no flags can only toggle an option false SpaceBeforeColon is always false.
SpaceBeforeColon should either default to true (like the other SpaceBefore options) or the cli parser should be extended to allow --noSpaceBeforeColon=true/false.
Also documentation.md has a list of the default values of these options but it doesn't match the code in FormatConfig.fs.
The text was updated successfully, but these errors were encountered:
Description
--noSpaceBeforeColon should toggle the FormatConfig.SpaceBeforeColon option, but because SpaceBeforeColon defaults to false, and the --no flags can only toggle an option false SpaceBeforeColon is always false.
SpaceBeforeColon should either default to true (like the other SpaceBefore options) or the cli parser should be extended to allow --noSpaceBeforeColon=true/false.
Also documentation.md has a list of the default values of these options but it doesn't match the code in FormatConfig.fs.
The text was updated successfully, but these errors were encountered: