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

Settings backend #2585

Merged
merged 51 commits into from Jul 17, 2017
Merged

Settings backend #2585

merged 51 commits into from Jul 17, 2017

Commits on Jul 15, 2017

  1. Update codemirror extension to use schema

    @blink1073 @afshin
    blink1073 authored and afshin committed Jul 15, 2017
    Copy the full SHA
    eff18cb View commit details
    Browse the repository at this point in the history

  2. Add a stub for settings handling

    @blink1073 @afshin
    blink1073 authored and afshin committed Jul 15, 2017
    Copy the full SHA
    9650e0f View commit details
    Browse the repository at this point in the history

  3. wip handle built in schemas

    @blink1073 @afshin
    blink1073 authored and afshin committed Jul 15, 2017
    Copy the full SHA
    e943295 View commit details
    Browse the repository at this point in the history

  4. Add initial handling of settings get method

    @blink1073 @afshin
    blink1073 authored and afshin committed Jul 15, 2017
    Copy the full SHA
    a139215 View commit details
    Browse the repository at this point in the history

  5. Finish the handler

    @blink1073 @afshin
    blink1073 authored and afshin committed Jul 15, 2017
    Copy the full SHA
    13b0746 View commit details
    Browse the repository at this point in the history

  6. Handle user settings dir

    @blink1073 @afshin
    blink1073 authored and afshin committed Jul 15, 2017
    Copy the full SHA
    26e4830 View commit details
    Browse the repository at this point in the history

  7. Handle schema data for installed extensions

    @blink1073 @afshin
    blink1073 authored and afshin committed Jul 15, 2017
    Copy the full SHA
    356f30f View commit details
    Browse the repository at this point in the history

  8. Use a schema (singular) folder like the style folder. Use the plu… 

    …gin IDs for the schema file names.
    @afshin
    afshin committed Jul 15, 2017
    Copy the full SHA
    95e89ce View commit details
    Browse the repository at this point in the history

  9. Change verb to patch and add schema validation

    @blink1073 @afshin
    blink1073 authored and afshin committed Jul 15, 2017
    Copy the full SHA
    e302c28 View commit details
    Browse the repository at this point in the history

  10. Update server response

    @blink1073 @afshin
    blink1073 authored and afshin committed Jul 15, 2017
    Copy the full SHA
    1011ae6 View commit details
    Browse the repository at this point in the history

  11. Fix merge error

    @blink1073 @afshin
    blink1073 authored and afshin committed Jul 15, 2017
    Copy the full SHA
    9737c03 View commit details
    Browse the repository at this point in the history

  12. Clean up.

    @afshin
    afshin committed Jul 15, 2017
    Copy the full SHA
    e9b2eae View commit details
    Browse the repository at this point in the history

  13. Do not use a camelCase file location for settings, use dashes.

    @afshin
    afshin committed Jul 15, 2017
    Copy the full SHA
    7f4d5c6 View commit details
    Browse the repository at this point in the history

  14. Clean up.

    @afshin
    afshin committed Jul 15, 2017
    Copy the full SHA
    67834d6 View commit details
    Browse the repository at this point in the history

  15. Clean up.

    @afshin
    afshin committed Jul 15, 2017
    Copy the full SHA
    8233abb View commit details
    Browse the repository at this point in the history

  16. Create SettingService with fetch and save methods.

    @afshin
    afshin committed Jul 15, 2017
    Copy the full SHA
    cf2de4b View commit details
    Browse the repository at this point in the history

  17. Remove deprecated client-side code.

    @afshin
    afshin committed Jul 15, 2017
    Copy the full SHA
    805c091 View commit details
    Browse the repository at this point in the history

  18. Use new API for settings.

    @afshin
    afshin committed Jul 15, 2017
    Copy the full SHA
    0078437 View commit details
    Browse the repository at this point in the history

  19. work in progress

    @afshin
    afshin committed Jul 15, 2017
    Copy the full SHA
    f72ebac View commit details
    Browse the repository at this point in the history

  20. Normalize error handling.

    @afshin
    afshin committed Jul 15, 2017
    Copy the full SHA
    4e9da76 View commit details
    Browse the repository at this point in the history

  21. More error handling, encoding of JSON sent to server.

    @afshin
    afshin committed Jul 15, 2017
    Copy the full SHA
    9632a6f View commit details
    Browse the repository at this point in the history

  22. Make sure scripts exists in JupyterLab package.

    @afshin
    afshin committed Jul 15, 2017
    Copy the full SHA
    1f0ab66 View commit details
    Browse the repository at this point in the history

  23. Fix broken build.

    @afshin
    afshin committed Jul 15, 2017
    Copy the full SHA
    e4afadf View commit details
    Browse the repository at this point in the history

  24. Clean up handling of scripts

    @blink1073 @afshin
    blink1073 authored and afshin committed Jul 15, 2017
    Copy the full SHA
    9e7b994 View commit details
    Browse the repository at this point in the history

  25. Fix handling of settings dir

    @blink1073 @afshin
    blink1073 authored and afshin committed Jul 15, 2017
    Copy the full SHA
    ef661fd View commit details
    Browse the repository at this point in the history

  26. Only create the settings dir if writing

    @blink1073 @afshin
    blink1073 authored and afshin committed Jul 15, 2017
    Copy the full SHA
    ea6f15c View commit details
    Browse the repository at this point in the history

  27. Fix data write

    @blink1073 @afshin
    blink1073 authored and afshin committed Jul 15, 2017
    Copy the full SHA
    bde0c9b View commit details
    Browse the repository at this point in the history

  28. Add handling of invalid user settings in GET

    @blink1073 @afshin
    blink1073 authored and afshin committed Jul 15, 2017
    Copy the full SHA
    b7fe223 View commit details
    Browse the repository at this point in the history

  29. Do not include copy-schemas

    @blink1073 @afshin
    blink1073 authored and afshin committed Jul 15, 2017
    Copy the full SHA
    d2261df View commit details
    Browse the repository at this point in the history

  30. Update to use new launcher

    @blink1073 @afshin
    blink1073 authored and afshin committed Jul 15, 2017
    Copy the full SHA
    ff55f5b View commit details
    Browse the repository at this point in the history

  31. More error handling conventions.

    @afshin
    afshin committed Jul 15, 2017
    Copy the full SHA
    f3b2f45 View commit details
    Browse the repository at this point in the history

  32. Bug fix: emit a signal when settings are added.

    @afshin
    afshin committed Jul 15, 2017
    Copy the full SHA
    c9742c6 View commit details
    Browse the repository at this point in the history

  33. Move settings => setting.

    @afshin
    afshin committed Jul 15, 2017
    Copy the full SHA
    b9c7aed View commit details
    Browse the repository at this point in the history

  34. Update manager.

    @afshin
    afshin committed Jul 15, 2017
    Copy the full SHA
    2bed9c3 View commit details
    Browse the repository at this point in the history

  35. Use Setting.IManager.

    @afshin
    afshin committed Jul 15, 2017
    Copy the full SHA
    64060fc View commit details
    Browse the repository at this point in the history

  36. Simplify setting manager definition.

    @afshin
    afshin committed Jul 15, 2017
    Copy the full SHA
    4f39f28 View commit details
    Browse the repository at this point in the history

  37. Use explicit path.

    @afshin
    afshin committed Jul 15, 2017
    Copy the full SHA
    26f6103 View commit details
    Browse the repository at this point in the history

  38. Clean up.

    @afshin
    afshin committed Jul 15, 2017
    Copy the full SHA
    8980d8e View commit details
    Browse the repository at this point in the history

  39. Wait until service manager is ready.

    @afshin
    afshin committed Jul 15, 2017
    Copy the full SHA
    79cde72 View commit details
    Browse the repository at this point in the history

  40. Use new text editor icon class name.

    @afshin
    afshin committed Jul 15, 2017
    Copy the full SHA
    2a28b68 View commit details
    Browse the repository at this point in the history

  41. Clean up.

    @afshin
    afshin committed Jul 15, 2017
    Copy the full SHA
    f838c4b View commit details
    Browse the repository at this point in the history

  42. Add initial setting service tests.

    @afshin
    afshin committed Jul 15, 2017
    Copy the full SHA
    aaf21cd View commit details
    Browse the repository at this point in the history

  43. Do not wait for service manager ready promise.

    @afshin
    afshin committed Jul 15, 2017
    Copy the full SHA
    b47454a View commit details
    Browse the repository at this point in the history

  44. State + settings docs, intro

    @afshin
    afshin committed Jul 15, 2017
    Copy the full SHA
    6351d59 View commit details
    Browse the repository at this point in the history

  45. Catch schema parsing errors.

    @afshin
    afshin committed Jul 15, 2017
    Copy the full SHA
    c4b5b9b View commit details
    Browse the repository at this point in the history

  46. Handle validation error handling on setting load.

    @afshin
    afshin committed Jul 15, 2017
    Copy the full SHA
    b271dab View commit details
    Browse the repository at this point in the history

  47. Update docs.

    @afshin
    afshin committed Jul 15, 2017
    Copy the full SHA
    90e741d View commit details
    Browse the repository at this point in the history

  48. Create shortcut extension schema.

    @afshin
    afshin committed Jul 15, 2017
    Copy the full SHA
    be483f4 View commit details
    Browse the repository at this point in the history

  49. Update shortcut extension to use settings instead of hard coding shor… 

    …tcuts.
    @afshin
    afshin committed Jul 15, 2017
    Copy the full SHA
    af8e93a View commit details
    Browse the repository at this point in the history

  50. Clean up.

    @afshin
    afshin committed Jul 15, 2017
    Copy the full SHA
    a3c21bc View commit details
    Browse the repository at this point in the history

  51. Update documentation for keyboard shortcuts, update schema.

    @afshin
    afshin committed Jul 15, 2017
    Copy the full SHA
    2621535 View commit details
    Browse the repository at this point in the history