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.00 config end
 2: 00.06 00.02 MarkupToHTML begin
 3: 00.08 00.04 MarkupToHTML end
 4: 00.09 00.04 MarkupToHTML begin
 5: 00.11 00.05 ReadApprovedUrls SiteAdmin.ApprovedUrls begin
 6: 00.11 00.05 ReadApprovedUrls SiteAdmin.ApprovedUrls end
 7: 00.13 00.05 MarkupToHTML end
 8: 00.13 00.05 MarkupToHTML begin
 9: 00.13 00.06 MarkupToHTML end
10: 00.14 00.06 now
Peak memory: 3,162,872 bytes