luke
/
klayout
mirror of https://github.com/KLayout/klayout.git
1
0
Fork 0
Code Issues Packages Projects Releases Wiki Activity

WIP: some refinement of help dialog search function.

This commit is contained in:
Matthias Koefferlein 2020-09-03 23:54:58 +02:00
parent 523f8e41e4
commit fd6e126038
2 changed files with 7 additions and 3 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

4
src/laybasic/laybasic/BrowserPanel.ui
View File

@ -253,7 +253,7 @@
</widget>
</item>
<item>
<widget class="QToolButton" name="toolButton">
<widget class="QToolButton" name="search_close_button">
<property name="text">
<string>...</string>
</property>
@ -462,7 +462,7 @@
</resources>
<connections>
<connection>
<sender>toolButton</sender>
<sender>search_close_button</sender>
<signal>clicked()</signal>
<receiver>search_frame</receiver>
<slot>hide()</slot>

6
src/laybasic/laybasic/layBrowserPanel.cc
View File

@ -92,6 +92,7 @@ BrowserPanel::init ()
connect (mp_ui->outline_tree, SIGNAL (itemActivated (QTreeWidgetItem *, int)), this, SLOT (outline_item_clicked (QTreeWidgetItem *)));
connect (mp_ui->action_find, SIGNAL (triggered ()), this, SLOT (find ()));
connect (mp_ui->on_page_search_edit, SIGNAL (textChanged (const QString &)), this, SLOT (page_search_edited ()));
connect (mp_ui->search_close_button, SIGNAL (clicked ()), this, SLOT (page_search_edited ()), Qt::QueuedConnection);
connect (mp_ui->on_page_search_edit, SIGNAL (returnPressed ()), this, SLOT (page_search_next ()));
connect (mp_ui->on_page_search_next, SIGNAL (clicked ()), this, SLOT (page_search_next ()));
@ -143,7 +144,7 @@ BrowserPanel::page_search_edited ()
m_search_selection.clear ();
m_search_index = -1;
if (mp_ui->on_page_search_edit->text ().size () < 2) {
if (! mp_ui->search_frame->isVisible () || mp_ui->on_page_search_edit->text ().size () < 2) {
mp_ui->browser->setExtraSelections (m_search_selection);
return;
}
@ -219,6 +220,9 @@ BrowserPanel::text_changed ()
m_current_title = title;
emit title_changed (title);
}
// refresh on-page search
page_search_edited ();
}
void