Skip to content
This repository has been archived by the owner on Mar 1, 2024. It is now read-only.

Handle DefaultToHover as a config option in InitialSettings #68

Merged
merged 1 commit into from
Feb 7, 2023

Commits on Feb 7, 2023

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