def _active_list_update_header_func(active_page_listbox_row, previous_active_page_listbox_row, data=None):
if previous_active_page_listbox_row is None:
active_page_listbox_row.set_header(None)
else:
active_page_listbox_row_header = active_page_listbox_row.get_header()
if active_page_listbox_row_header is None:
active_page_listbox_row_header = Gtk.Separator(orientation=Gtk.Orientation.HORIZONTAL)
active_page_listbox_row_header.show()
active_page_listbox_row.set_header(active_page_listbox_row_header)
def _options_list_update_header_func(inputs_page_listbox_row,
previous_inputs_page_listbox_row,
data=None):
if previous_inputs_page_listbox_row is None:
inputs_page_listbox_row.set_header(None)
else:
inputs_page_listbox_row_header = inputs_page_listbox_row.get_header(
)
if inputs_page_listbox_row_header is None:
inputs_page_listbox_row_header = Gtk.Separator(
orientation=Gtk.Orientation.HORIZONTAL)
inputs_page_listbox_row_header.show()
inputs_page_listbox_row.set_header(
inputs_page_listbox_row_header)
def _completed_list_update_header(completed_page_listbox_row,
previous_completed_page_listbox_row,
data):
if previous_completed_page_listbox_row is None:
completed_page_listbox_row.set_header(None)
else:
completed_page_listbox_row_header = completed_page_listbox_row.get_header(
)
if completed_page_listbox_row_header is None:
completed_page_listbox_row_header = Gtk.Separator(
orientation=Gtk.Orientation.HORIZONTAL)
completed_page_listbox_row_header.show()
completed_page_listbox_row.set_header(
completed_page_listbox_row_header)