Update duckduckgo.user.js

This commit is contained in:
2022-06-24 09:31:54 +02:00
committed by GitHub
parent 6d4580f6a1
commit c55d3fb17b

View File

@@ -18,5 +18,5 @@
})();
function updateTitle(){
document.title = document.getElementById("search_form_input").value;
document.title = document.getElementById("search_form_input").value + " - Search";
}