| 161 | } |
| 162 | |
| 163 | void UIDocFindReplace::setDoc( const std::shared_ptr<Doc::TextDocument>& doc ) { |
| 164 | mDoc = doc; |
| 165 | } |
| 166 | |
| 167 | UIDocFindReplace::UIDocFindReplace( UIWidget* parent, const std::shared_ptr<Doc::TextDocument>& doc, |
| 168 | std::unordered_map<std::string, std::string> keybindings ) : |