diff --git a/play.html b/play.html index 6a9e670..6f982dc 100644 --- a/play.html +++ b/play.html @@ -458,6 +458,10 @@  (Ctrl/Cmd+Enter) + 🌑🌞 @@ -480,6 +484,14 @@ /// This is to avoid race conditions. let request_num = 0; + // query presets + var querybox = document.getElementById('query'); + var querypresets = document.getElementById('dropdown'); + querypresets.onchange = function() { + var newquery = querypresets.options[querypresets.selectedIndex].value; + querybox.value = newquery; + } + /// Save query in history only if it is different. let previous_query = '';