Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Jump to bottom

Fix bug in Autocomplete. #8

Merged
merged 2 commits into from
Dec 16, 2015
Merged

Fix bug in Autocomplete. #8

merged 2 commits into from
Dec 16, 2015

Commits on Dec 15, 2015

  1. Fix bug in Autocomplete. 

    In the original version, [<Name "source">] for each type of completer.
This resuled in WebSharper generating four distinct target values (i.e.
source, source1, source2, source3), which caused autocomplete to fail for all
but the first completer (simple array). Furthermore, autocomplete() in
JQueryUI.js expects a callback with two arguments, but the translated (F#)
callback expects an array with two elements. This is fixed by bridging the
call to the F# function.
    @juselius
    juselius committed Dec 15, 2015
    Configuration menu
    Copy the full SHA
    8a38b9a View commit details
    Browse the repository at this point in the history

  2. Fix and add Autocomplete tests.

    @juselius
    juselius committed Dec 15, 2015
    Configuration menu
    Copy the full SHA
    88d7194 View commit details
    Browse the repository at this point in the history