Python filtered_search_menu Exemples

Exemple #1

Fichier : refs.py Projet : Darshnik/dxr

 def menu_items(self):
     name, generated_url, line = self.menu_data
     for html, title, filter_name, icon in self.name_menus:
         yield filtered_search_menu(self.tree, name, html, title, filter_name, icon)
     yield generated_menu(generated_url, line)

Exemple #2

Fichier : refs.py Projet : zz22zz222/dxr

 def menu_items(self):
     name, generated_url, line = self.menu_data
     for html, title, filter_name, icon in self.name_menus:
         yield filtered_search_menu(self.tree, name, html, title,
                                    filter_name, icon)
     yield generated_menu(generated_url, line)

Exemple #3

Fichier : refs.py Projet : Darshnik/dxr

 def menu_items(self):
     name = self.menu_data
     for html, title, filter_name, icon in self.name_menus:
         yield filtered_search_menu(self.tree, name, html, title, filter_name, icon)

Exemple #4

Fichier : refs.py Projet : zz22zz222/dxr

 def menu_items(self):
     name = self.menu_data
     for html, title, filter_name, icon in self.name_menus:
         yield filtered_search_menu(self.tree, name, html, title,
                                    filter_name, icon)