diff --git a/templates/hoogle.julius b/templates/hoogle.julius new file mode 100644 index 0000000..4d7fcfc --- /dev/null +++ b/templates/hoogle.julius @@ -0,0 +1,5 @@ +$(function() { + var input = $(".hoogle .search").get(0); + var len = input.value.length; + input.setSelectionRange(len, len); +})