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

Tooltip: Use Gtk later #1684

Merged
merged 6 commits into from
Jun 14, 2023
Merged

Tooltip: Use Gtk later #1684

merged 6 commits into from
Jun 14, 2023

Commits on Jun 13, 2023

  1. Tooltip: Use Gtk later

    @lenemter
    lenemter committed Jun 13, 2023
    Configuration menu
    Copy the full SHA
    3e5aae2 View commit details
    Browse the repository at this point in the history

  2. Remove unused variable

    @lenemter
    lenemter committed Jun 13, 2023
    Configuration menu
    Copy the full SHA
    4bd3e78 View commit details
    Browse the repository at this point in the history

  3. Merge branch 'master' into lenemter/tooltip-init-use-gtk-later

    @lenemter
    lenemter committed Jun 13, 2023
    Configuration menu
    Copy the full SHA
    db719d8 View commit details
    Browse the repository at this point in the history

  4. Merge branch 'master' into lenemter/tooltip-init-use-gtk-later

    @danirabbit
    danirabbit committed Jun 13, 2023
    Configuration menu
    Copy the full SHA
    73bef8c View commit details
    Browse the repository at this point in the history

  5. Merge branch 'master' into lenemter/tooltip-init-use-gtk-later

    @danirabbit
    danirabbit committed Jun 13, 2023
    Configuration menu
    Copy the full SHA
    f711886 View commit details
    Browse the repository at this point in the history

Commits on Jun 14, 2023

  1. Merge branch 'master' into lenemter/tooltip-init-use-gtk-later

    @tintou
    tintou committed Jun 14, 2023
    Configuration menu
    Copy the full SHA
    7eee3a4 View commit details
    Browse the repository at this point in the history