src/gui/modules/repository.py
changeset 1587 e46d4e51d02f
parent 1585 fe17b1cf5774
child 1624 68eb99718177
equal deleted inserted replaced
1586:f68acb39f2bf 1587:e46d4e51d02f
  1463                                 priority_sum += 1
  1463                                 priority_sum += 1
  1464                 return (priority == priority_changed + priority_sum)
  1464                 return (priority == priority_changed + priority_sum)
  1465 
  1465 
  1466         @staticmethod
  1466         @staticmethod
  1467         def __on_add_pub_help_clicked(widget):
  1467         def __on_add_pub_help_clicked(widget):
  1468                 gui_misc.display_help("add_repo")
  1468                 gui_misc.display_help("add-publisher")
  1469 
  1469 
  1470         @staticmethod
  1470         @staticmethod
  1471         def __on_manage_help_clicked(widget):
  1471         def __on_manage_help_clicked(widget):
  1472                 gui_misc.display_help("manage_repo")
  1472                 gui_misc.display_help("manage-publisher")
  1473 
  1473 
  1474         @staticmethod
  1474         @staticmethod
  1475         def __on_modify_repo_help_clicked(widget):
  1475         def __on_modify_repo_help_clicked(widget):
  1476                 gui_misc.display_help("manage_repo")
  1476                 gui_misc.display_help("manage-publisher")
  1477 
  1477 
  1478         @staticmethod
  1478         @staticmethod
  1479         def __update_publisher_details(pub, details_view):
  1479         def __update_publisher_details(pub, details_view):
  1480                 if pub == None:
  1480                 if pub == None:
  1481                         return
  1481                         return