1. 11 Jun, 2022 3 commits
    • 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
  2. 10 Jun, 2022 6 commits
  3. 09 Jun, 2022 11 commits
  4. 08 Jun, 2022 9 commits
  5. 06 Jun, 2022 2 commits
  6. 05 Jun, 2022 9 commits