diff doc/5_1_search.html @ 731:fa8f7d7396cf

Introduce an helper function that returns the name of an editor. It helps to reduce code redundancy.
author zas_
date Thu, 22 May 2008 09:12:36 +0000
parents e0d0593d519e
children 1b01410e6860
line wrap: on
line diff