if(status == WEBKIT_DOWNLOAD_STATUS_STARTED || status == WEBKIT_DOWNLOAD_STATUS_CREATED) {
c->progress = (int)(webkit_download_get_progress(c->download)*100);
}
- else {
- stop(c);
- }
updatetitle(c, NULL);
}
void
loadstart(WebKitWebView *view, WebKitWebFrame *f, Client *c) {
- if(c->download)
- stop(c);
c->progress = 0;
updatetitle(c, NULL);
}
void
pasteurl(GtkClipboard *clipboard, const gchar *text, gpointer d) {
- if(text!=NULL)
- loaduri((Client *)d, text);
+ if(text != NULL)
+ loaduri((Client *) d, text);
}
GdkFilterReturn