[wp-trac] [WordPress Trac] #43058: File search in theme & plugin editor window

[WordPress Trac]

#43058: File search in theme & plugin editor window
-----------------------------+---------------------------------
 Reporter:  Mahesh901122     |       Owner:
     Type:  feature request  |      Status:  new
 Priority:  normal           |   Milestone:  Awaiting Review
Component:  Plugins          |     Version:
 Severity:  normal           |  Resolution:
 Keywords:                   |     Focuses:  ui, administration
-----------------------------+---------------------------------

Old description:

> Now we have using Code mirror for updating theme/plugin files. We have
> also create a directory tree of theme & plugin files.
>
> It is hard to search the file in the given directory tree. So, File
> search filed is useful to search particular file. This patch search `file
> name` & `file extensions` too.
>
> For reference, the files "tree" was introduced in [41851], see #24048.

New description:

 Now we have using Code mirror for updating theme/plugin files. We have
 also create a directory tree of theme & plugin files.

 It is hard to search the file in the given directory tree. So, File search
 filed is useful to search particular file. This patch search `file name` &
 `file extensions` too.

--

Comment (by afercia):

 My bad, I've changed the original description by mistake.

 >  For reference, the files "tree" was introduced in [41851], see #24048.

--
Ticket URL: <https://core.trac.wordpress.org/ticket/43058#comment:4>
WordPress Trac <https://core.trac.wordpress.org/>
WordPress publishing platform