Community
Participate
Working Groups
Quicksearch stops the search after a configured amount of results is found (atm roughly 200). There is no indication if search is stopped due to this limit or because all files where searched. If the search ends and I got a quite long list of results but not the result I expected I cannot know if it was not found or to many other matches found before.
With https://bugs.eclipse.org/bugs/show_bug.cgi?id=572693 there will be a counter showing how many results have been found. I think it makes sense to build on top of this and indicate when a limit is reached. In addition, since this limit will become more prominent then, we should make it configurable in the preferences. Ideas?
New Gerrit change created: https://git.eclipse.org/r/c/platform/eclipse.platform.text/+/179768
Gerrit change https://git.eclipse.org/r/c/platform/eclipse.platform.text/+/179768 was merged to [master]. Commit: http://git.eclipse.org/c/platform/eclipse.platform.text.git/commit/?id=34b30bce9608a8fab1e06c12fe14e609c0ccb660
Thanks Julian! Can you please add a note about it with a small screenshot to the New & Noteworthy document?
New Gerrit change created: https://git.eclipse.org/r/c/platform/eclipse.platform.text/+/179834
Sure, however, I don't know how to do so ;) Do you have a link at hand? BTW, I found it confusing that under certain circumstances more results can be found than specified in the limit. Thus, I added a tooltip to explain the situation. At the same time, I replaced the other tooltips, which were a bit hidden in my opinion, with more obvious info icons.
Gerrit change https://git.eclipse.org/r/c/platform/eclipse.platform.text/+/179834 was merged to [master]. Commit: http://git.eclipse.org/c/platform/eclipse.platform.text.git/commit/?id=9daa731d8511d9c52a956aadceec2e2fbbde33d0
New Gerrit change created: https://git.eclipse.org/r/c/www.eclipse.org/eclipse/news/+/179852
Gerrit change https://git.eclipse.org/r/c/www.eclipse.org/eclipse/news/+/179852 was merged to [master]. Commit: http://git.eclipse.org/c/www.eclipse.org/eclipse/news.git/commit/?id=575218d62747adb74ec3c1d9ae664b6d26faec50
Thanks Julian!