From f2301c7b197e42b90c332830585820b9ef37e340 Mon Sep 17 00:00:00 2001 From: Sergio Costas Date: Sun, 6 Jan 2019 19:06:59 +0100 Subject: [PATCH] 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. --- src/devedeng/separator.py | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/src/devedeng/separator.py b/src/devedeng/separator.py index 8ae30c1..5b69903 100644 --- a/src/devedeng/separator.py +++ b/src/devedeng/separator.py @@ -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):