port message

[Joshua Root]

On 2010-1-9 03:38 , Bradley Giesbrecht wrote:
> Is there a port command for just printing out the port ui_mesg?
> 
> If not this might be simple to implement and useful.

Well, ui_msg is just a procedure and as such can be called
conditionally, so there's no such thing as "the" ui_msg for a port.
Anything the user might want to see again should be done with the
'notes' feature introduced in 1.8.

- Josh