#3595 search all buffers == all views
There are 2 possible meanings of search "all buffers":
A. all buffers from current view
B. all buffers from all views - shortly "all views"
Currently jedit implements B. I would rather expect "all buffers" to mean A.
Background:
I work on a project in a single view. Then I want to open another project to take something from it. So I open a new view with another project and try to search all buffers in this new view. I get hits from both projects, which is not what I intended. I can hardly imagine a scenario in which I would really like to search all views.
Another problem with "all views" implementation. When I highlight a hit from other view, it opens in the current view. So I get duplicated open files. It's not what I intend when clicking on a hit.
All those problems disappear if we change the search scope to A - all buffers from current view. I think solution B could be introduced as a new feature, considering the problem with hitting a click from a different view. We could have then "all buffers" and "all views".
head, XP
+1 for limit the search to the relevant buffer set.
Maybe call it a feature request - but it would be consistent to the buffer set feature..
There is a third definition, in the case of split panes. In which case I would expect All Buffers to mean current editpane's bufferset.
use View.getBuffers() and that respects the BufferSet scope. Problem solved.
Committed 22138.