Bob said:
Is there a user setting for now to hide just the parameter list?

Yes, there is: in the Notation settings you can set "Show types and parameters".

Regards,
Michiel

---------------------------------------------------------------------
To unsubscribe, e-mail: [EMAIL PROTECTED]
For additional commands, e-mail: [EMAIL PROTECTED]

Reply via email to