|
|
|
|
@ -103,8 +103,7 @@ Window::Window() {
|
|
|
|
|
view->grab_focus(); |
|
|
|
|
}); |
|
|
|
|
|
|
|
|
|
Notebook::get().on_switch_page=[this] { |
|
|
|
|
if(auto view=Notebook::get().get_current_view()) { |
|
|
|
|
Notebook::get().on_focus=[this](Source::View *view) { |
|
|
|
|
if(search_entry_shown && EntryBox::get().labels.size()>0) { |
|
|
|
|
view->update_search_occurrences=[this](int number){ |
|
|
|
|
EntryBox::get().labels.begin()->update(0, std::to_string(number)); |
|
|
|
|
@ -130,7 +129,6 @@ Window::Window() {
|
|
|
|
|
if(Project::debugging) |
|
|
|
|
Project::debug_update_stop(); |
|
|
|
|
#endif |
|
|
|
|
} |
|
|
|
|
}; |
|
|
|
|
Notebook::get().on_close=[](Source::View *view) { |
|
|
|
|
#ifdef JUCI_ENABLE_DEBUG |
|
|
|
|
|