Miscellany

<?php

function gtk_copy($from, $to){
	$org = fopen($from,'rb');
	$new = fopen($to,'wb');
	while ($data = fread($org, 1024)) {
		fwrite($new,$data);
		while(Gtk::events_pending()) Gtk::do_iteration();
	}
	fclose($org);
	fclose($new);
}