CommandPrompt


Idea for integrated command prompt and search bar

Why not change the search field so that it becomes a more general entry. Some possible functions:

  • Search for pages containing certain text (same as today)
  • Find (and/or go to) page with a certain name (or similar name).
In case of multiple matches, maybe an extra header can be inserted which lists the other matches?
  • Directly go and edit a page
 0: 00.00 00.00 config start
 1: 00.01 00.01 config end
 2: 00.21 00.20 MarkupToHTML begin
 3: 00.22 00.21 MarkupToHTML end
 4: 00.22 00.21 MarkupToHTML begin
 5: 00.23 00.22 ReadApprovedUrls SiteAdmin.ApprovedUrls begin
 6: 00.23 00.23 ReadApprovedUrls SiteAdmin.ApprovedUrls end
 7: 00.24 00.23 MarkupToHTML end
 8: 00.24 00.23 MarkupToHTML begin
 9: 00.24 00.24 MarkupToHTML end
10: 00.25 00.24 now
Peak memory: 3,709,904 bytes