In some Flutter code, the following can be found***:
/// ...
/// {@tool dartpad}
/// ...
/// sends the focus to the preceding text field when the currently focused
/// field becomes empty.
///
/// ** See code in examples/api/lib/widgets/actions/action.action_overridable.0.dart **
/// {@end-tool}
The text examples/api/lib/widgets/actions/action.action_overridable.0.dart should be clickable via the usual way, (i.e. _DartNavigationComputerVisitor)
The annotations for @tool and @end-tool can and should be used.
In some Flutter code, the following can be found***:
The text
examples/api/lib/widgets/actions/action.action_overridable.0.dart
should be clickable via the usual way, (i.e. _DartNavigationComputerVisitor)The annotations for
@tool
and@end-tool
can and should be used.*** https://github.com/flutter/flutter/blob/master/packages/flutter/lib/src/widgets/actions.dart#L151