Re: Hypersearch Hanging

Robert Schwenn <[email protected]> Tue, 21 Nov 2023 17:43:39 +0100
Newsgroups gmane.editors.jedit.user
Message-ID <[email protected]>
--===============5902644733047526635==
Content-Language: en-US
Content-Type: text/html; charset=UTF-8
Content-Transfer-Encoding: 8bit

<!DOCTYPE html>
<html>
  <head>
    <meta http-equiv="Content-Type" content="text/html; charset=UTF-8">
  </head>
  <body>
    <div class="moz-cite-prefix"><font face="monospace">Hi, a good
        starting point for such troubleshooting is to invoke jedit
        without settings and/or plugins. You could do this via command
        line arguments <i>-noplugins</i> and <i>-nosettings</i>. This
        way You quickly see whether </font><font face="monospace">settings
        or plugins seem to be guilty...<br>
      </font></div>
    <div class="moz-cite-prefix"><font face="monospace"><br>
      </font></div>
    <div class="moz-cite-prefix"><font face="monospace">Robert<br>
      </font></div>
    <div class="moz-cite-prefix"><font face="monospace"><br>
      </font></div>
    <div class="moz-cite-prefix"><font face="monospace"><br>
      </font></div>
    <div class="moz-cite-prefix"><font face="monospace">Am 21.11.2023 um
        13:26 schrieb James:<br>
      </font></div>
    <blockquote type="cite"
cite="mid:CAB9o2Joq4kMGQMJwv+YA=bOHi-_PP49pwE2vSp-w__esK40YXA@mail.gmail.com">
      <meta http-equiv="content-type" content="text/html; charset=UTF-8">
      <div dir="ltr">
        <div class="gmail_default" style="color: rgb(102, 0, 0);"><font
            face="monospace">Hi</font></div>
        <div class="gmail_default" style="color: rgb(102, 0, 0);"><font
            face="monospace"><br>
          </font></div>
        <div class="gmail_default" style="color: rgb(102, 0, 0);"><font
            face="monospace">I've got a recent issue that I'm struggling
            to figure out.</font></div>
        <div class="gmail_default" style="color: rgb(102, 0, 0);"><font
            face="monospace"><br>
          </font></div>
        <div class="gmail_default" style="color: rgb(102, 0, 0);"><font
            face="monospace">Hypersearch has worked nicely for me for
            the last 20 years, and then a month or so ago jEdit has
            started hanging with every single hypersearch I do.</font></div>
        <div class="gmail_default" style="color: rgb(102, 0, 0);"><font
            face="monospace"><br>
          </font></div>
        <div class="gmail_default" style="color: rgb(102, 0, 0);"><font
            face="monospace">And, thanks to muscle memory, I'm force
            closing jEdit often now.</font></div>
        <div class="gmail_default" style="color: rgb(102, 0, 0);"><font
            face="monospace"><br>
          </font></div>
        <div class="gmail_default" style="color: rgb(102, 0, 0);"><font
            face="monospace">Could you perhaps give me some guidance in
            how to debug this? I had the Activity Log tab open and the
            last line that was shown as the program hung was:</font></div>
        <div class="gmail_default" style="color: rgb(102, 0, 0);"><font
            face="monospace"><br>
          </font></div>
        <div class="gmail_default" style="color: rgb(102, 0, 0);"><font
            face="monospace">"HyperSearchRequest: 18 OCCURENCES"</font></div>
        <div class="gmail_default" style="color: rgb(102, 0, 0);"><font
            face="monospace"><br>
          </font></div>
        <div class="gmail_default" style="color: rgb(102, 0, 0);"><font
            face="monospace">So it's found the items but the window is
            hanging and does not return.</font></div>
        <div class="gmail_default" style="color: rgb(102, 0, 0);"><font
            face="monospace"><br>
          </font></div>
        <div class="gmail_default" style="color: rgb(102, 0, 0);"><font
            face="monospace">I'm using Windows 11 with MS Java 17.0.6</font></div>
        <div class="gmail_default" style="color: rgb(102, 0, 0);"><font
            face="monospace"><br>
          </font></div>
        <div class="gmail_default" style="color: rgb(102, 0, 0);"><font
            face="monospace">Thanks in advance.</font></div>
        <div class="gmail_default" style="color: rgb(102, 0, 0);"><font
            face="monospace"><br>
          </font></div>
        <div class="gmail_default" style="color: rgb(102, 0, 0);"><font
            face="monospace">James<br>
          </font></div>
      </div>
      <font face="monospace"><br>
      </font>
      <fieldset class="moz-mime-attachment-header"></fieldset>
      <font face="monospace"><br>
      </font>
      <fieldset class="moz-mime-attachment-header"></fieldset>
    </blockquote>
    <p><font face="monospace"><br>
      </font></p>
    <pre class="moz-signature" cols="80">-- 
Mit freundlichen Grüßen
Robert Schwenn
Augustusweg 10a
01445 Radebeul
0152 / 26 24 25 97</pre>
  </body>
</html>


--===============5902644733047526635==
Content-Type: text/plain; charset="us-ascii"
MIME-Version: 1.0
Content-Transfer-Encoding: 7bit
Content-Disposition: inline


--===============5902644733047526635==
Content-Type: text/plain; charset="us-ascii"
MIME-Version: 1.0
Content-Transfer-Encoding: 7bit
Content-Disposition: inline

-- 
-----------------------------------------------
jEdit Users' List
[email protected]
https://lists.sourceforge.net/lists/listinfo/jedit-users

--===============5902644733047526635==--