Обновление вкладок детей в виджете jupyter notebook
Я пытаюсь обновить дочерние элементы виджета со вкладками. Итак, я сначала создаю простой пример вкладки:
from ipywidgets import widgets
from IPython.display import display
lst = ['P0', 'P1', 'P2', 'P3', 'P4']
childs = [widgets.Text(description=name) for name in lst]
tab = widgets.Tab(children=childs)
[tab.set_title(num, name) for num, name in enumerate(lst)]
display(tab)
Затем я пытаюсь удалить вкладку "P2":
child_to_remove = 2
lst.pop(child_to_remove)
tab.children = [i for k, i in enumerate(tab.children) if k != child_to_remove]
[tab.set_title(num, name) for num, name in enumerate(lst)]
Если я посмотрю на уже отображенную вкладку, то появятся новые заголовки: "P0", "P1", "P4" и "Page 6". Если я бегу снова display(tab)
вкладка в порядке. Но нет проблем, если я уберу последнюю вкладку child_to_remove = 4
,
Как я могу обновить первую созданную вкладку, не используя display(tab)
и иметь правильный заголовок для каждой вкладки?
Спасибо!