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.

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

Download admin GUI #11

Open
wants to merge 5 commits into
base: main
Choose a base branch
from
Open

Download admin GUI #11

wants to merge 5 commits into from

Commits on Jun 13, 2023

  1. Use more precise exceptions in DownloadCommand

    This will allow to display descriptive error messages in the admin GUI
    n-peugnet committed Jun 13, 2023
    Configuration menu
    Copy the full SHA
    0205871 View commit details
    Browse the repository at this point in the history
  2. Add GUI to download themes in the admin dashboard

    - add script in assets/Makefile to generate a js file that contains the
      list of downloadable themes.
    - generate a version of this list with release 11-stable of highlightjs.
    - add UI in admin that uses this list to display a select wth a download
      button.
    - add a controller that calls the `highlight:download` console command.
    - add an exception handler that puts the message in the error details.
    - add tests for all the new classes.
    n-peugnet committed Jun 13, 2023
    Configuration menu
    Copy the full SHA
    c75422d View commit details
    Browse the repository at this point in the history
  3. Configuration menu
    Copy the full SHA
    977d747 View commit details
    Browse the repository at this point in the history
  4. Configuration menu
    Copy the full SHA
    9fef364 View commit details
    Browse the repository at this point in the history
  5. Concatenate error messages in handler

    This allows for a cleaner error in the console
    n-peugnet committed Jun 13, 2023
    Configuration menu
    Copy the full SHA
    c92a851 View commit details
    Browse the repository at this point in the history