documentations find widget as separate class * documentation.cc: (documentation): do not initialize shortcuts for forward & backwar search, use new find_widget for the find bar and connect required signals; (handle_search_result_clicked): use find widget method instead of direct addressing the line edit; (notice_settings): call notice_settings in find_widget, do not set forward & backward search shortcuts; (save_settings): call save_settings in find_widget; (activate_find): just call find_widget::activate_find; (find_backward): call find with backward flag; (find): two arguments: search text and backward flag, use methods from find_widget * documentation.h: include file widget header, find_widget is class variable instead of line edit of search text, new declaration of find, no more shortcuts for forward & backward search * find-widget.cc: new file with file_widget class; (find_widget): construct widget with actions and shortcuts; (activate_find): method for toggling visibility; (find): emitting the signal for the parents search routine; (find_backward): dito; (find_incremental): dito; (set_text): method for setting search text; (text): returns search text; (notice_settings): update settings from settings file; (save_settings): save settings (only a stub at the moment) * find-widget.h: declaration of class and methods * module.mk: add new files