📄 textsearchiter.php
字号:
<?php // -*-php-*-rcs_id('$Id: TextSearchIter.php,v 1.4 2004/11/29 17:55:04 rurban Exp $');class WikiDB_backend_dumb_TextSearchIterextends WikiDB_backend_iterator{ function WikiDB_backend_dumb_TextSearchIter(&$backend, &$pages, $search, $fulltext=false) { $this->_backend = &$backend; $this->_pages = $pages; $this->_fulltext = $fulltext; $this->_search = $search; } function _get_content(&$page) { $backend = &$this->_backend; $pagename = $page['pagename']; if (!isset($page['versiondata'])) { $version = $backend->get_latest_version($pagename); $page['versiondata'] = $backend->get_versiondata($pagename, $version, true); } return $page['versiondata']['%content']; } function _match(&$page) { $text = $page['pagename']; if ($result = $this->_search->match($text)) // first match the pagename only return $result; if ($this->_fulltext) { $text .= "\n" . $this->_get_content($page); return $this->_search->match($text); } else return $result; } function next() { $pages = &$this->_pages; while ($page = $pages->next()) { if ($this->_match($page)) return $page; } return false; } function free() { $this->_pages->free(); }};// (c-file-style: "gnu")// Local Variables:// mode: php// tab-width: 8// c-basic-offset: 4// c-hanging-comment-ender-p: nil// indent-tabs-mode: nil// End: ?>
⌨️ 快捷键说明
复制代码
Ctrl + C
搜索代码
Ctrl + F
全屏模式
F11
切换主题
Ctrl + Shift + D
显示快捷键
?
增大字号
Ctrl + =
减小字号
Ctrl + -