1. 18 Jun, 2022 1 commit
  2. 16 Jun, 2022 2 commits
  3. 15 Jun, 2022 2 commits
  4. 13 Jun, 2022 3 commits
  5. 11 Jun, 2022 4 commits
    • Julien Wintz's avatar
      Front matter updated. · ae3f7d3e
      Julien Wintz authored
      ae3f7d3e
    • Julien Wintz's avatar
      d9fe6e43
    • Julien Wintz's avatar
      TODO / DOING / DONE · 1bd83ce2
      Julien Wintz authored
      1bd83ce2
    • Julien Wintz's avatar
      Code fragments syntax coloring. · 1a83324c
      Julien Wintz authored
      - VSCode does not provide any API to reuse its syntax highlighting engine so far
      - Falling back to shiki, it seems there is a community consensus on this one
      - Asynchronous implementation is mandatory
      - Vue template updated to use raw html
      - Uses language grammar from `elpi-lang` (to be removed when merging there)
      - VSCode does not provide access to its token style sheets (mtkX)
      - These *could* be retrieved from the DOM when:
        - Loading the view, TODO later on
        - Monitoring color theme changes, TODO later on
      - As a fallback, FTM, token colors are defined in the extension style sheet arbitrarily
      - Overall beautifying (includes light theme compliance, css galore)
      - Style sheet to be factorised later on, in a DRYness manner, it is cascading by design afterall
      - TODO: highlight *_text, whenever possible
      1a83324c
  6. 10 Jun, 2022 6 commits
  7. 09 Jun, 2022 11 commits
  8. 08 Jun, 2022 9 commits
  9. 06 Jun, 2022 2 commits