...
 
Commits (3)
......@@ -382,8 +382,18 @@ class dvd_menu(devedeng.interface_manager.interface_manager):
entries_per_page -= 1
n_entries = len(self.title_list)
paint_arrows = False
if n_entries > entries_per_page:
paint_arrows = True
else:
for element in self.file_list:
if ((element.element_type == "separator") and element.page_jump):
paint_arrows = True
break
if paint_arrows:
entries_per_page -= 1
self.pages = 1
n_entries = 0
n_entries = 1
self.page_list = [0]
entry = 0
for element in self.file_list:
......@@ -392,15 +402,10 @@ class dvd_menu(devedeng.interface_manager.interface_manager):
n_entries = 1
self.page_list.append(entry)
entry += 1
n_entries += 1
if (page_number > self.pages) and (page_number > 0):
page_number = self.pages - 1
if (self.pages > 1):
paint_arrows = True
entries_per_page -= 1
else:
paint_arrows = False
if self.wcurrent_page is not None:
self.wcurrent_page.set_text(_("Page {0} of {1}").format(page_number + 1, self.pages))
xl = left_margin_p
......
......@@ -722,6 +722,8 @@ class devede_project:
if "files" in project:
error_list = []
for element in project["files"]:
if not "element_type" in element:
element["element_type"] = "file_movie"
if element["element_type"] == "file_movie":
new_file = devedeng.file_movie.file_movie(element["file_name"])
if (new_file.error):
......
......@@ -29,7 +29,7 @@ class separator(devedeng.interface_manager.interface_manager):
def __init__(self):
self.element_type = "separator"
devedeng.interface_manager.interface_manager.__init__(self)
self.add_toggle("page_jump", True)
self.add_toggle("page_jump", False)
self.add_text("separator_name", _("Separator"))
def set_name(self, new_name):
......