Open gjwgit opened 4 months ago
As a user of the app I know little about the meaning of the different options and parameters and so they should have tooltips to explain what they do.
use Tooltip() widget
User Story
As a user of the app I know little about the meaning of the different options and parameters and so they should have tooltips to explain what they do.