Fixed a merge issue

This commit is contained in:
bubnikv 2019-03-21 10:46:40 +01:00
parent d9d0eff0f1
commit 8105fc33d5

View file

@ -724,7 +724,7 @@ void Tab::update_visibility()
update_page_tree_visibility(); update_page_tree_visibility();
Layout(); Layout();
// Thaw(); Thaw();
update_changed_tree_ui(); update_changed_tree_ui();
} }