comparison: src/gtkprefs.c
src/gtkprefs.c
- changeset 6516
- ea1e11634bf5
- parent 6478
- 2c3fe7c8659b
- child 6621
- 2a18ef3e5224
equal
deleted
inserted
replaced
| 6515:a30dca08bfae | 6516:ea1e11634bf5 |
|---|---|
| 536 if ((tail = strrchr(name, '.')) == NULL) | 536 if ((tail = strrchr(name, '.')) == NULL) |
| 537 return; | 537 return; |
| 538 | 538 |
| 539 /* We'll check this just to make sure. This also lets us do something different on | 539 /* We'll check this just to make sure. This also lets us do something different on |
| 540 * other platforms, if need be */ | 540 * other platforms, if need be */ |
| 541 grab_url(name, TRUE, theme_got_url, ".tgz"); | 541 grab_url(name, TRUE, theme_got_url, ".tgz", NULL, 0); |
| 542 } | 542 } |
| 543 | 543 |
| 544 gtk_drag_finish(dc, TRUE, FALSE, t); | 544 gtk_drag_finish(dc, TRUE, FALSE, t); |
| 545 } | 545 } |
| 546 | 546 |
