| 1538 | } |
| 1539 | |
| 1540 | void |
| 1541 | LayoutViewBase::set_current_layer_list (unsigned int index) |
| 1542 | { |
| 1543 | if (index != m_current_layer_list && index < layer_lists ()) { |
| 1544 | m_current_layer_list = index; |
| 1545 | current_layer_list_changed_event (index); |
| 1546 | redraw (); |
| 1547 | } |
| 1548 | } |
| 1549 | |
| 1550 | void |
| 1551 | LayoutViewBase::insert_layer_list (unsigned index, const LayerPropertiesList &props) |