search

digama0 / mmj2

mmj2 GUI Proof Assistant for the Metamath project
GNU General Public License v2.0
72 stars 24 forks source link

some search terms get no response #9

Open glacode opened 5 years ago

glacode commented 5 years ago

I'm using ver. 2.5.1.

If I do a search for

limCC

the general search never ends.

There are other terms that lead to the same behavior (I should have written down all of them).

Glauco

ghost commented 5 years ago

Hi Glauco, could not recreate. However, the user interface is dubious (at best). The results window stays displayed even after you jump to PA or SO, and a search of $aep in Formulas in Charstr mode for "limCC" took several long seconds on my computer. At one point I did get the idea that there was no response. Perhaps the display window was behnd the General Search window. Try manually deleting (closing) the results window and then re-try your search. I did this using freshly compiled code with the latest set.mm and the latest source code. Is anyone else having this problem? -Mel