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

Add menu item to disable/enable hover popups #2316

Merged
merged 7 commits into from
Oct 30, 2023

Commits on Aug 29, 2023

  1. Configuration menu
    Copy the full SHA
    38d7452 View commit details
    Browse the repository at this point in the history
  2. Configuration menu
    Copy the full SHA
    5e92155 View commit details
    Browse the repository at this point in the history

Commits on Oct 23, 2023

  1. Update note

    jwortmann committed Oct 23, 2023
    Configuration menu
    Copy the full SHA
    772a54c View commit details
    Browse the repository at this point in the history
  2. Configuration menu
    Copy the full SHA
    1ec1626 View commit details
    Browse the repository at this point in the history

Commits on Oct 30, 2023

  1. Configuration menu
    Copy the full SHA
    01a67cf View commit details
    Browse the repository at this point in the history
  2. Reset popups properly

    jwortmann committed Oct 30, 2023
    Configuration menu
    Copy the full SHA
    05b0ae9 View commit details
    Browse the repository at this point in the history
  3. Unused import

    jwortmann committed Oct 30, 2023
    Configuration menu
    Copy the full SHA
    e3b2779 View commit details
    Browse the repository at this point in the history