emil0r / reverie

77 stars 8 forks source link

interface: search #10

Open emil0r opened 8 years ago

emil0r commented 8 years ago

Search in the UI tree for pages. Should support the page number and searching for the name. When searching for page number it should just jump to that page. When searching for the name it should give the answers on a new pane.

When doing a search with the number, the answer should hold the full path to the page so that the UI tree can recursively load the tree on the UI side gracefully.