Now the separator type is consistent from the begining

Due to an error, by default the separators where created as
"page jump" type, but it wasn't honored unless the checkbox was ticked
and unticked again.
This commit is contained in:
Sergio Costas 2019-01-06 19:06:59 +01:00
parent c7f79836dc
commit f2301c7b19

View file

@ -29,7 +29,7 @@ class separator(devedeng.interface_manager.interface_manager):
def __init__(self): def __init__(self):
self.element_type = "separator" self.element_type = "separator"
devedeng.interface_manager.interface_manager.__init__(self) 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")) self.add_text("separator_name", _("Separator"))
def set_name(self, new_name): def set_name(self, new_name):