fix: hide duplicate tooltip (#2224)

pull/1817/head
ggurdin 8 months ago committed by GitHub
parent 17ad748e7a
commit 42f56c1c54
No known key found for this signature in database
GPG Key ID: B5690EEEBB952194

@ -527,16 +527,19 @@ class MessageSelectionPositionerState extends State<MessageSelectionPositioner>
top: 0,
child: MeasureRenderBox(
onChange: _setTooltipSize,
child: Container(
constraints: const BoxConstraints(
minWidth: 200.0,
maxWidth: 400.0,
),
child: InstructionsInlineTooltip(
instructionsEnum:
widget.overlayController.toolbarMode.instructionsEnum ??
InstructionsEnum.readingAssistanceOverview,
bold: true,
child: Opacity(
opacity: 0.0,
child: Container(
constraints: const BoxConstraints(
minWidth: 200.0,
maxWidth: 400.0,
),
child: InstructionsInlineTooltip(
instructionsEnum:
widget.overlayController.toolbarMode.instructionsEnum ??
InstructionsEnum.readingAssistanceOverview,
bold: true,
),
),
),
),

Loading…
Cancel
Save