<div dir="ltr"><div>Am Di., 13. Aug. 2019 um 03:41 Uhr schrieb Chris Muller <<a href="mailto:asqueaker@gmail.com">asqueaker@gmail.com</a>>:<br></div><div class="gmail_quote"><blockquote class="gmail_quote" style="margin:0px 0px 0px 0.8ex;border-left:1px solid rgb(204,204,204);padding-left:1ex"><div dir="ltr"><div dir="ltr">On Mon, Aug 12, 2019 at 5:41 AM Thiede, Christoph <<a href="mailto:Christoph.Thiede@student.hpi.uni-potsdam.de" target="_blank">Christoph.Thiede@student.hpi.uni-potsdam.de</a>> wrote:<br></div><div class="gmail_quote"><blockquote class="gmail_quote" style="margin:0px 0px 0px 0.8ex;border-left:1px solid rgb(204,204,204);padding-left:1ex">




<div dir="ltr">
<div id="gmail-m_1066379236254147188m_-8254443971853103837gmail-m_-3970988846136241413gmail-m_2135959282091075781divtagdefaultwrapper" dir="ltr" style="font-size:12pt;color:rgb(0,0,0);font-family:Calibri,Helvetica,sans-serif,EmojiFont,"Apple Color Emoji","Segoe UI Emoji",NotoColorEmoji,"Segoe UI Symbol","Android Emoji",EmojiSymbols">
<blockquote style="margin:0px 0px 0px 40px;border:none;padding:0px"><span>> In such cases, the emergency evaluator is not shown</span></blockquote>
<div><br>
</div>
<div>By the way, it is possible to invoke the emergency evaluator manually. You can invoke it with [Project <span>tryEmergencyEvaluatorForRecovery:</span> 'foo'].</div></div></div></blockquote><div><br></div><div><br></div><div>It would be an extra gesture for the revert case, but that might make for a more-powerful Do menu entry than revertMostRecent.</div></div></div></blockquote><div><br></div><div>I am unsure which variant would be better. If someone stumbles into the same situation I did, but never saw the emergency evaluator before (lucky them), they might not know that it can solve their problem. On the other hand they also might not know what RecentMessages is about... I would have liked to give this line a label, such as "Revert latest method change". That would be the directest way to communicate its use. The Utilities method would have been that revealing, but it is deprecated.</div><div><br></div><div>Alternatively, one could put an item with a proper label under Extras or even Help. I know, this does not provide help literature, but it helps the panicking tool tinkerer. ;-)</div></div></div>