Patch for bug #246257 is committed. The following changes are made.
1. The position of widgets search_case_check and search_matches_label are interchanged. 2. The Matches label is not displayed before the search is performed. Thanks, Rohini _______________________________________________ gnome-doc-list mailing list [email protected] http://mail.gnome.org/mailman/listinfo/gnome-doc-list
