Pekka Vuorela 2bd429b734 Fix PDF viewer not to produce garbage windows for nonexistent files
Was calling window_flush() on redraw handler which already happens on
window redrawing.
2012-09-25 11:24:49 -04:00
..
2012-08-13 14:39:41 -04:00
2012-08-14 10:17:06 -04:00
2012-08-14 15:51:13 -04:00