equal
deleted
inserted
replaced
544 and GUI tools can override it to allow styling output without |
544 and GUI tools can override it to allow styling output without |
545 writing it. |
545 writing it. |
546 |
546 |
547 ui.write(s, 'label') is equivalent to |
547 ui.write(s, 'label') is equivalent to |
548 ui.write(ui.label(s, 'label')). |
548 ui.write(ui.label(s, 'label')). |
549 |
|
550 Callers of ui.label() should pass labeled text back to |
|
551 ui.write() with a label of 'ui.labeled' so implementations know |
|
552 that the text has already been escaped and marked up. |
|
553 ''' |
549 ''' |
554 return msg |
550 return msg |