Panel: Add back the file search in the "File Manager" (beta)

[BrainStone]

Is your feature request related to a problem? Please describe.
In the "old" 0.x version you were able to open a file search when pressing Ctrl + F. Now that no longer happens. In addition the files are no longer loaded into the browser in full which means the browser native search can't find any search terms not on the screen.

Describe the solution you'd like
A search functionality that considers the whole file like before the beta. Ideally also with the option to enable regex and to search and replace. Those were insanely useful for small edits.

Describe alternatives you've considered
An alternative would be that the files shown in the File Manager are loaded in full so that the browser search can actually find something.

[DaneEveritt]

They are not loaded in full because that would have huge performance impacts. In order for this to work we'll have to build out a custom finder function in the file editor.

[BrainStone]

I thought so that sending the whole files wasn't sensical to do.

It's just that without a working search function editing files through the browser is practically useless.

[Niko302]

Agreed, if this feature could be added back it would make editing files in the browser useful again.
Otherwise our whole panel other then for tracking server usage is useless.

[Pemigrade]

I'd really like this feature as well

[AreYouRlyScared]

With the commit above... It's built into CodeMirror