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

Sort explanation services (updated) #1214

Merged
merged 8 commits into from
May 30, 2024
Merged

Commits on May 31, 2022

  1. Configuration menu
    Copy the full SHA
    0ba8210 View commit details
    Browse the repository at this point in the history

Commits on May 27, 2024

  1. Configuration menu
    Copy the full SHA
    f66e756 View commit details
    Browse the repository at this point in the history
  2. Configuration menu
    Copy the full SHA
    feca297 View commit details
    Browse the repository at this point in the history
  3. Configuration menu
    Copy the full SHA
    76c63ad View commit details
    Browse the repository at this point in the history
  4. Configuration menu
    Copy the full SHA
    9f66185 View commit details
    Browse the repository at this point in the history

Commits on May 28, 2024

  1. Do not create a new ExplanationPreferences object to apply changes.

    When applying changes in a ExplanationPreferencesGeneralPanel dialog,
    save the changes to an instance-level ExplanationPreferences object
    (that has itself been loaded upon initialisation of the dialog), rather
    than to a new object created on the fly. This ensure that any previously
    set "last explanation service" setting is preserved.
    gouttegd committed May 28, 2024
    Configuration menu
    Copy the full SHA
    966a66e View commit details
    Browse the repository at this point in the history
  2. Disable up/down buttons upon dialog initialisation.

    When initialising the ExplanationPreferencesGeneralPanel dialog, make
    sure the "up" and "down" buttons are disabled if no row is selected in
    the list of available explanation services (which is normally the case
    when the dialog is created).
    gouttegd committed May 28, 2024
    Configuration menu
    Copy the full SHA
    23e9b01 View commit details
    Browse the repository at this point in the history

Commits on May 29, 2024

  1. Add "change priority" label.

    Add a label next to the "move up" / "move down" buttons in the
    ExplanationPreferencesGeneralPanel dialog, to hopefully make it clearer
    that the order of the listed explanation services matters.
    gouttegd committed May 29, 2024
    Configuration menu
    Copy the full SHA
    36e1885 View commit details
    Browse the repository at this point in the history