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

Allow dimming of DSO hints and labels #3945

Merged
merged 10 commits into from
Nov 1, 2024
Merged

Allow dimming of DSO hints and labels #3945

merged 10 commits into from
Nov 1, 2024

Commits on Oct 31, 2024

  1. Allow dimming of DSO hints and labels

    - also immediate store more DSO-related fine-tune view settings
    gzotti committed Oct 31, 2024
    Configuration menu
    Copy the full SHA
    663a7ab View commit details
    Browse the repository at this point in the history
  2. Configuration menu
    Copy the full SHA
    89879bd View commit details
    Browse the repository at this point in the history
  3. Fix (again) sizes of proportional hints

    - not /4, just /2 from master is OK for 100% (no) scaling.
    - maybe needs HiDPI adjustment?
    gzotti committed Oct 31, 2024
    Configuration menu
    Copy the full SHA
    cb928d3 View commit details
    Browse the repository at this point in the history
  4. Fix a few minor issues

    gzotti committed Oct 31, 2024
    Configuration menu
    Copy the full SHA
    65fa323 View commit details
    Browse the repository at this point in the history
  5. Configuration menu
    Copy the full SHA
    701d15d View commit details
    Browse the repository at this point in the history
  6. Configuration menu
    Copy the full SHA
    c6afb7a View commit details
    Browse the repository at this point in the history
  7. SUG: Update DSO tab figure

    gzotti committed Oct 31, 2024
    Configuration menu
    Copy the full SHA
    5bc42d8 View commit details
    Browse the repository at this point in the history
  8. Configuration menu
    Copy the full SHA
    023c560 View commit details
    Browse the repository at this point in the history
  9. Cleanup

    gzotti committed Oct 31, 2024
    Configuration menu
    Copy the full SHA
    bc85948 View commit details
    Browse the repository at this point in the history

Commits on Nov 1, 2024

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