Re: revising documentation for proportional spacing

[Werner LEMBERG]

>> ```
>> \override PaperColumn.used = ##t
>> ```
>
> I see in Spacing_engraver::stop_translation_timestep():
>
>   SCM proportional = get_property (this, "proportionalNotationDuration");
>   if (unsmob<Moment> (proportional))
>     {
>       set_property (musical_column, "shortest-playing-duration", 
> proportional);
>       set_property (musical_column, "shortest-starter-duration", 
> proportional);
>       set_property (musical_column, "used", SCM_BOOL_T);
>       return;
>     }
>
> so it looks like you can remove it.

Thanks for confirmation.


    Werner