Hi Tim,
This particular option (to have a dotted tie or slur) is not yet on the wish list (I can add it), but a similar option - smaller sized "optional" notes - is. I'll confess that I have not seen the option you listed (but I haven't seen all there is to see
), but have frequently seen the second option, which is already on the "to do" list.
Thoughts on the options? I'm asking, because while we always want to improve the software, we also do our best to keep the options that most users will find helpful, while keeping out extraneous ones that might confuse. I know there will always be some percentage of users who want it all
but our goal is to help the most possible "everyday musicians".
ttfn,
Sherry