Can't click on annotations in docs to see what they mean

[sfshaza2]

@alanrussian commented on Mon Jul 02 2018

Example: https://docs.flutter.io/flutter/widgets/NavigatorState/push.html

@optionalTypeArgs
Future push (
Route route
)
optionalTypeArgs is a symbol, but it's not possible to tap on it to find out what it means. I can search for it though: https://docs.flutter.io/flutter/meta/optionalTypeArgs-constant.html

Moved from: flutter/website#2153