file_monitor_platform_data_t::~file_monitor_platform_data_t() { file_set_t::iterator result(adobe::find(file_set(), this)); if (result != file_set().end()) file_set().erase(result); disconnect(); }
static void selection_changed(GtkFileChooser* chooser, wxDirButton* win) { char* filename = gtk_file_chooser_get_filename(chooser); if (wxString::FromUTF8(filename) == win->GetPath()) win->m_bIgnoreNextChange = false; else if (!win->m_bIgnoreNextChange) file_set(chooser, win); g_free(filename); }
file_monitor_platform_data_t::file_monitor_platform_data_t() : last_write_m(0) { file_set().push_back(this); }