1. 01 Nov, 2019 2 commits
  2. 28 Oct, 2019 3 commits
  3. 27 Oct, 2019 6 commits
  4. 21 Oct, 2019 2 commits
  5. 20 Oct, 2019 5 commits
  6. 19 Oct, 2019 4 commits
    • Sam Thursfield's avatar
      Merge branch 'sam/popover-level-filter' into 'master' · 49769e3c
      Sam Thursfield authored
      frontend: Rework the level filter
      
      Closes #17
      
      See merge request !34
      49769e3c
    • Sam Thursfield's avatar
      frontend: Rework the level filter · e4e89944
      Sam Thursfield authored
      The more levels one teaches, the more unfeasible it is to represent
      every level with a button at the top of the page.
      
      We now have a single 'Level filter' button, which expands a panel
      containing all of the level filter buttons.
      
      The selection is empty by default meaning all levels are shown.
      When a level is clicked, only that level is shown. This makes it
      easier to drill down to 1 or 2 levels right away. (It makes it
      harder to exclude just one level from results, though).
      
      The grid packing for the top bar is redone, hopefully it looks
      better now as I learn more about the Bootstrap grid model.
      
      Fixes #17 and
      #10.
      e4e89944
    • Sam Thursfield's avatar
      Merge branch 'sam/server' into 'master' · fe3682a2
      Sam Thursfield authored
      backend: Install a script to start the app as a webapp
      
      See merge request !33
      fe3682a2
    • Sam Thursfield's avatar
      backend: Install a script to start the app as a webapp · 7eedce15
      Sam Thursfield authored
      This is still rather a kludge, but it makes it a little easier
      to run the app as a webapp which you can view in your browser.
      Useful for working around WebKit-specific problems, for example.
      7eedce15
  7. 07 Oct, 2019 6 commits
  8. 06 Oct, 2019 2 commits
  9. 04 Jul, 2019 10 commits