Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Adjust MEI- Basic customization to use att.duration.log for rest #1207

Merged
merged 2 commits into from
Jun 13, 2023

Conversation

lpugin
Copy link
Member

@lpugin lpugin commented Jun 12, 2023

This PR adjusts att.rest.log in MEI-Basic to use att.duration.log instead of att.restduration.log.

The reason for this change is that att.restduration.log is meaningless in MEI-Basic since it exists essentially to allow for additional rest durations in mensural notation which are not available in MEI-Basic.

The change in the customization yields no modification to the resulting MEI-Basic schema and is only intended to simplify handling of rests with code generated directly from the MEI-Basic ODD.

@github-actions github-actions bot added the Component: Customizations changes to customizations/**/* (assigned automatically) label Jun 12, 2023
Copy link
Member

@rettinghaus rettinghaus left a comment

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

Thanks!

customizations/mei-basic.xml Outdated Show resolved Hide resolved
Co-authored-by: Klaus Rettinghaus <klaus.rettinghaus@enote.com>
@bwbohl bwbohl merged commit 9821c1e into music-encoding:develop Jun 13, 2023
2 checks passed
@bwbohl bwbohl added this to the MEI 5.0 milestone Jun 13, 2023
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
Component: Customizations changes to customizations/**/* (assigned automatically) Component: MEI Basic
Projects
Status: ✅ Done
Development

Successfully merging this pull request may close these issues.

None yet

3 participants