<html>
<head>
<meta http-equiv="Content-Type" content="text/html; charset=UTF-8">
</head>
<body text="#000000" bgcolor="#FFFFFF">
<div class="moz-cite-prefix">On 19/03/2019 03:44, Dmitry Boyarintsev
via lazarus wrote<br>
</div>
<blockquote type="cite"
cite="mid:CAMpTZrfGnWCyLeydgMQj77LLSP55TY0X9T2B-0M6UBYrj+h34Q@mail.gmail.com">
<div dir="ltr">
<div dir="ltr">
<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">
error message, which when selected will jump to the error.<br>
Then the user can deliberately choose to fix or ignore the
error.<br>
</blockquote>
<div>I hate my cursor to jump anywhere, when I'm asking for
word-completion at a particular placement.</div>
<div>As well as the concentration on the particular part of
the code is lost.</div>
<div>The error can be pretty far away, and returning to the
where I was might take some time.<br>
</div>
<div><br>
</div>
<div>(btw, due to aggressive jumping in the past. I.e. when
Objective-P support was only introduced to code tools I
taught myself to use bookmarks often. </div>
<div>Just for a quick jump back to the line of code I was
working at.)</div>
<br>
</div>
</div>
</div>
</blockquote>
<br>
History back should work after an codetools error. IIRC Ctrl-H, but
I move it to Alt-Cursor-Left.<br>
<br>
<br>
</body>
</html>