86
87
88
89
90
91
92
93
94
95
96
97
98
99
100
101
102
103
|
entries.append(row)
uikit.do(self.show_results, entries)
# display "search" in "bookmarks"
def show_results(self, entries):
self.main.status(1.0)
self.main.status("")
self.main.channel_switch_by_name("bookmarks")
self.main.bookmarks.set_category("search")
# insert data and show
self.main.channels["bookmarks"].streams["search"] = entries # we have to set it here, else .currentcat() might reset it
self.main.bookmarks.load("search")
# live search on directory server homepages
def server_search(self, w):
self.prepare_search()
entries = []
|
>
>
>
<
|
86
87
88
89
90
91
92
93
94
95
96
97
98
99
100
101
102
103
104
105
|
entries.append(row)
uikit.do(self.show_results, entries)
# display "search" in "bookmarks"
def show_results(self, entries):
self.main.status(1.0)
self.main.status("")
# set contents right away
self.main.channels["bookmarks"].streams["search"] = entries
# switch to bookmarks›search tab
self.main.channel_switch_by_name("bookmarks")
self.main.bookmarks.set_category("search")
# insert data and show
self.main.bookmarks.load("search")
# live search on directory server homepages
def server_search(self, w):
self.prepare_search()
entries = []
|