mirror of
https://github.com/KLayout/klayout.git
synced 2026-09-06 17:33:25 +02:00
[consider merging] Bugfix: selecting a recent configuration in the editor options did not select the layer if it was freshly created
This commit is contained in:
@@ -1950,6 +1950,9 @@ LayerControlPanel::do_update_content ()
|
||||
mp_layer_list->setRootIsDecorated (has_children);
|
||||
mp_layer_list->doItemsLayout ();
|
||||
|
||||
// establishes the current layer in case it was changed during the "in update" phase
|
||||
mp_layer_list->set_current (lay::LayerPropertiesConstIterator (mp_view->get_properties (), m_current_layer));
|
||||
|
||||
m_needs_update = false;
|
||||
|
||||
} else if (m_needs_update) {
|
||||
|
||||
Reference in New Issue
Block a user