Searched refs:update_sourceview_timer (Results 1 – 3 of 3) sorted by relevance
1681 void update_sourceview_timer(void*) in update_sourceview_timer() function1712 Fl::remove_timeout(update_sourceview_timer, 0); in set_modflag()1713 Fl::add_timeout(0.5, update_sourceview_timer, 0); in set_modflag()
2240 void update_sourceview_timer(void*) in update_sourceview_timer() function2271 Fl::remove_timeout(update_sourceview_timer, 0); in set_modflag()2272 Fl::add_timeout(0.5, update_sourceview_timer, 0); in set_modflag()
2257 void update_sourceview_timer(void*) in update_sourceview_timer() function2288 Fl::remove_timeout(update_sourceview_timer, 0); in set_modflag()2289 Fl::add_timeout(0.5, update_sourceview_timer, 0); in set_modflag()