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.

Sign up for GitHub

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

Jump to bottom

Enable extenders to overwrite default settings #129

Merged
merged 3 commits into from
Jun 19, 2024
Merged

Enable extenders to overwrite default settings #129

merged 3 commits into from
Jun 19, 2024

Commits on Jun 10, 2024

  1. Improve Options Overlay 

    Introduces an `Accordion` to make the overlay panel for the advanced
options easier to work with.
    @planger
    planger committed Jun 10, 2024
    Configuration menu
    Copy the full SHA
    6aeccf0 View commit details
    Browse the repository at this point in the history

  2. Enable extenders to overwrite default settings 

    * Harmonizes naming of webview config
* Extracts column ids into constants
* Switches to ... menu for multiple reset options in options menu

Fixes eclipse-cdt-cloud#77
    @planger
    planger committed Jun 10, 2024
    Configuration menu
    Copy the full SHA
    97310ef View commit details
    Browse the repository at this point in the history

Commits on Jun 19, 2024

  1. Improve wording

    @planger
    planger authored Jun 19, 2024
    Configuration menu
    Copy the full SHA
    833667b View commit details
    Browse the repository at this point in the history