$highlight: Difference between revisions
Jump to navigation
Jump to search
No edit summary |
(No difference)
|
Revision as of 22:46, 10 May 2008
Highlight returns $true or $false based on whether or not you have enabled highlighting.
$highlight