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.02 00.01 config end
 2: 00.24 00.20 MarkupToHTML begin
 3: 00.25 00.21 MarkupToHTML end
 4: 00.26 00.21 MarkupToHTML begin
 5: 00.27 00.22 ReadApprovedUrls SiteAdmin.ApprovedUrls begin
 6: 00.27 00.22 ReadApprovedUrls SiteAdmin.ApprovedUrls end
 7: 00.27 00.23 MarkupToHTML end
 8: 00.28 00.23 MarkupToHTML begin
 9: 00.28 00.23 MarkupToHTML end
10: 00.28 00.23 now
Peak memory: 3,766,840 bytes