search: Use documentName for untitled files
Currently we show some number in place of filename which is not helpful. Since now we have the document pointer, use documentName()
instead.
Currently we show some number in place of filename which is not helpful. Since now we have the document pointer, use documentName()
instead.