[geany/geany] 3eeb36: Merge pull request #3820 from ntrel/doc-search