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
Sometimes, it's useful to increase the width between actors, the notes width or the margin to fit some large texts that are not well rendered with the default configuration. These configuration properties are used in the sequenceRenderer and are set in the file as constants. A setConf method already exists but it's not used (only in tests).
It would be great if a new parameter is added to the console client to allow overriding these properties with new ones. This new parameter could specify the path of a file with the configuration options in a JSON file.
The text was updated successfully, but these errors were encountered:
Thanks for this addition jjmr!
It was a good idea! Could you possibly also add to the docs for this so that people will know about the feature and how to use it?
Sometimes, it's useful to increase the width between actors, the notes width or the margin to fit some large texts that are not well rendered with the default configuration. These configuration properties are used in the sequenceRenderer and are set in the file as constants. A setConf method already exists but it's not used (only in tests).
It would be great if a new parameter is added to the console client to allow overriding these properties with new ones. This new parameter could specify the path of a file with the configuration options in a JSON file.
The text was updated successfully, but these errors were encountered: