Skip to content

Commits on Jun 29, 2018

  1. dark editor mode

    pq committed Jun 29, 2018

Commits on May 21, 2018

  1. fixup formatting

    ngwese committed May 21, 2018
  2. fixes to editor config

    jlmitch5 committed May 21, 2018

Commits on May 17, 2018

  1. implement editor config in ui and relevant backend endpoints

    editor config goes in data/config/editor.json
    jlmitch5 committed May 17, 2018