Skip to content
log in
|
sign up
ENABLE AUTO REFRESH
Jenkins
Categorized
netsurf
clang,x86_64-unknown-freebsd14.0,gtk2
#6741
Back to Project
Status
Changes
Console Output
View as plain text
View Build Information
Parsed Console Output
Git Build Data
Previous Build
Next Build
Changes
Summary
change web search option to use provider name instead of index (
details
)
Commit
fd1a7094909020c7939143c8f141019d8a40bed4
by
Vincent Sanders
change web search option to use provider name instead of index
desktop/searchweb.c
(diff)
test/data/Choices
(diff)
desktop/searchweb.h
(diff)
frontends/amiga/gui_options.c
(diff)
test/data/Choices-all
(diff)
frontends/amiga/gui.c
(diff)
frontends/gtk/preferences.c
(diff)
desktop/options.h
(diff)
frontends/gtk/gui.c
(diff)