David Wheeler Posted June 13, 2012 Share Posted June 13, 2012 Congrats on the newest update for IOS. One question about the "new-back-feature"; I only get the arrow when I do an amplify lemma search (which takes me to BDAG); however if I do a lemma search, I don't get the "back-arrow" and I still have to reset my starting point. -David Link to comment Share on other sites More sharing options...
Scott Knapp Posted June 13, 2012 Share Posted June 13, 2012 That is currently by design. Unlike the amplify action, the search action is performed on the current module in the current search view. We recognize that this is somewhat of a limitation. Thanks for the feedback, Scott. Link to comment Share on other sites More sharing options...
Recommended Posts
Please sign in to comment
You will be able to leave a comment after signing in
Sign In Now