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.00 00.00 config end
 2: 00.03 00.02 MarkupToHTML begin
 3: 00.04 00.03 MarkupToHTML end
 4: 00.04 00.04 MarkupToHTML begin
 5: 00.05 00.04 ReadApprovedUrls SiteAdmin.ApprovedUrls begin
 6: 00.05 00.05 ReadApprovedUrls SiteAdmin.ApprovedUrls end
 7: 00.06 00.05 MarkupToHTML end
 8: 00.06 00.05 MarkupToHTML begin
 9: 00.06 00.06 MarkupToHTML end
10: 00.06 00.06 now
Peak memory: 3,118,528 bytes