This repository was archived by the owner on Aug 24, 2021. It is now read-only.
This repository was archived by the owner on Aug 24, 2021. It is now read-only.
Enhance tooltip to support multiple definitions for each keyword #235
Description
Requested in pull/220#issuecomment-267330348
- Sometimes the same term can have different definitions depending on the context.
- Also there can be a simple definition and a longer definition.