comparison: src/prefs.c
src/prefs.c
- changeset 735
- bd74a7d35187
- parent 734
- ae2f3f37ce6f
- child 736
- 0e380859da63
equal
deleted
inserted
replaced
| 734:ae2f3f37ce6f | 735:bd74a7d35187 |
|---|---|
| 1331 gtk_box_pack_start(GTK_BOX(box), label, FALSE, FALSE, 5); | 1331 gtk_box_pack_start(GTK_BOX(box), label, FALSE, FALSE, 5); |
| 1332 gtk_widget_show(label); | 1332 gtk_widget_show(label); |
| 1333 | 1333 |
| 1334 opt = browser_radio(_("Netscape"), BROWSER_NETSCAPE, box, NULL); | 1334 opt = browser_radio(_("Netscape"), BROWSER_NETSCAPE, box, NULL); |
| 1335 opt = browser_radio(_("KFM"), BROWSER_KFM, box, opt); | 1335 opt = browser_radio(_("KFM"), BROWSER_KFM, box, opt); |
| 1336 opt = browser_radio(_("Internal HTML Widget (Quite likely a bad idea!)"), BROWSER_INTERNAL, box, opt); | |
| 1337 opt = browser_radio(_("Manual"), BROWSER_MANUAL, box, opt); | |
| 1338 #ifdef USE_GNOME | 1336 #ifdef USE_GNOME |
| 1339 opt = browser_radio(_("GNOME URL Handler"), BROWSER_GNOME, box, opt); | 1337 opt = browser_radio(_("GNOME URL Handler"), BROWSER_GNOME, box, opt); |
| 1340 #endif /* USE_GNOME */ | 1338 #endif /* USE_GNOME */ |
| 1339 opt = browser_radio(_("Internal HTML Widget (Quite likely a bad idea!)"), BROWSER_INTERNAL, box, opt); | |
| 1340 opt = browser_radio(_("Manual"), BROWSER_MANUAL, box, opt); | |
| 1341 | 1341 |
| 1342 browser_entry = gtk_entry_new(); | 1342 browser_entry = gtk_entry_new(); |
| 1343 gtk_box_pack_start(GTK_BOX(box), browser_entry, FALSE, FALSE, 0); | 1343 gtk_box_pack_start(GTK_BOX(box), browser_entry, FALSE, FALSE, 0); |
| 1344 gtk_entry_set_text(GTK_ENTRY(browser_entry), web_command); | 1344 gtk_entry_set_text(GTK_ENTRY(browser_entry), web_command); |
| 1345 gtk_signal_connect(GTK_OBJECT(browser_entry), "focus_out_event", GTK_SIGNAL_FUNC(manualentry_key_pressed), NULL); | 1345 gtk_signal_connect(GTK_OBJECT(browser_entry), "focus_out_event", GTK_SIGNAL_FUNC(manualentry_key_pressed), NULL); |
