void simulator_ctt::execute_functioncall(
const statet &state,
edget &edge)
{
const program_formulat::formula_goto_programt::instructiont
&instruction=*state.data().threads.front().PC;
const irep_idt &function_id=instruction.code.function;
// find in program formula
program_formulat::function_mapt::const_iterator
f_it=program_formula.function_map.find(function_id);
assert(f_it!=program_formula.function_map.end());
const program_formulat::functiont &f=f_it->second;
// produce a start state
statet start_state(state);
statet::threadt &thread=start_state.data_w().threads.back();
// adjust PC
thread.program=&(f.body);
thread.PC=thread.start_pc();
// assign args
assert(instruction.code.function_args.size()==f.args.size());
for(unsigned i=0; i<f.args.size(); i++)
{
formulat formula=instruction.code.function_args[i];
formula=instantiate(state, 0, formula);
start_state.data_w().set_var(f.args[i], 0, formula);
}
std::cout << "Adding edge for " << function_id << std::endl;
// add edge
edget &f_edge=new_edge(function_id, start_state);
f_edge.calls.push_back(conft(edge, state));
}
void layout_window::g_get_default_presets(pfc::list_t<cfg_layout_t::preset> & p_out)
{
{
uie::window_ptr wnd, wnd2, wnd3;
service_ptr_t<uie::splitter_window> splitter, splitter2, splitter3;
if (uie::window::create_by_guid(columns_ui::panels::guid_horizontal_splitter, wnd) && uie::window::create_by_guid(columns_ui::panels::guid_vertical_splitter, wnd2))
{
if (wnd->service_query_t(splitter) && wnd2->service_query_t(splitter2))
{
uie::splitter_item_simple_t item, item2;
item.set_panel_guid(columns_ui::panels::guid_playlist_switcher);
item2.set_panel_guid(columns_ui::panels::guid_vertical_splitter);
bool val = true;
splitter2->add_panel(&item);
stream_writer_memblock conf1;
splitter2->get_config(&conf1, abort_callback_impl());
item2.set_panel_config(&stream_reader_memblock_ref(conf1.m_data.get_ptr(), conf1.m_data.get_size()), conf1.m_data.get_size());
t_size index = splitter->add_panel(&item2);
splitter->set_config_item(index, uie::splitter_window::bool_locked, &stream_reader_memblock_ref(&val, sizeof(bool)), abort_callback_impl());
val = false;
splitter->set_config_item(index, uie::splitter_window::bool_show_caption, &stream_reader_memblock_ref(&val, sizeof(bool)), abort_callback_impl());
t_uint32 sz = 175;
splitter->set_config_item(index, uie::splitter_window::uint32_size, &stream_reader_memblock_ref(&sz, sizeof(t_uint32)), abort_callback_impl());
item.set_panel_guid(columns_ui::panels::guid_playlist_view_v2);
t_size index_playlist = splitter->add_panel(&item);
splitter->set_config_item(index_playlist, uie::splitter_window::bool_show_caption, &stream_reader_memblock_ref(&val, sizeof(bool)), abort_callback_impl());
cfg_layout_t::preset preset_default;
preset_default.m_name = "NG Playlist + Playlist Switcher";
preset_default.m_guid = columns_ui::panels::guid_horizontal_splitter;
stream_writer_memblock_ref conf(preset_default.m_val, true);
splitter->get_config(&conf, abort_callback_impl());
p_out.add_item(preset_default);
}
}
}
{
uie::window_ptr wnd, wnd2, wnd3, wnd_filter_splitter;
service_ptr_t<uie::splitter_window> splitter, splitter2, splitter3, splitter_filter;
if (uie::window::create_by_guid(columns_ui::panels::guid_horizontal_splitter, wnd) && uie::window::create_by_guid(columns_ui::panels::guid_vertical_splitter, wnd2) && uie::window::create_by_guid(columns_ui::panels::guid_vertical_splitter, wnd3)
&& uie::window::create_by_guid(columns_ui::panels::guid_horizontal_splitter, wnd_filter_splitter))
{
if (wnd->service_query_t(splitter) && wnd2->service_query_t(splitter2) && wnd3->service_query_t(splitter3)
&& wnd_filter_splitter->service_query_t(splitter_filter))
{
uie::splitter_item_simple_t item, item2, item3, item_filter, item_filter_splitter, item_artwork;
item.set_panel_guid(columns_ui::panels::guid_playlist_switcher);
item2.set_panel_guid(columns_ui::panels::guid_vertical_splitter);
item3.set_panel_guid(columns_ui::panels::guid_vertical_splitter);
item_filter_splitter.set_panel_guid(columns_ui::panels::guid_horizontal_splitter);
item_filter.set_panel_guid(columns_ui::panels::guid_filter);
item_artwork.set_panel_guid(columns_ui::panels::guid_artwork_view);;
bool val = true;
splitter2->add_panel(&item);
stream_writer_memblock conf1, conf2, conf3;
splitter2->get_config(&conf1, abort_callback_impl());
item2.set_panel_config(&stream_reader_memblock_ref(conf1.m_data.get_ptr(), conf1.m_data.get_size()), conf1.m_data.get_size());
t_size index = splitter->add_panel(&item2);
splitter->set_config_item(index, uie::splitter_window::bool_locked, &stream_reader_memblock_ref(&val, sizeof(bool)), abort_callback_impl());
val = false;
splitter->set_config_item(index, uie::splitter_window::bool_show_caption, &stream_reader_memblock_ref(&val, sizeof(bool)), abort_callback_impl());
t_uint32 sz = 175;
splitter->set_config_item(index, uie::splitter_window::uint32_size, &stream_reader_memblock_ref(&sz, sizeof(t_uint32)), abort_callback_impl());
t_size index_filter = splitter_filter->add_panel(&item_filter);
splitter_filter->set_config_item_t(index_filter, uie::splitter_window::bool_show_caption, val, abort_callback_dummy());
index_filter = splitter_filter->add_panel(&item_filter);
splitter_filter->set_config_item_t(index_filter, uie::splitter_window::bool_show_caption, val, abort_callback_dummy());
index_filter = splitter_filter->add_panel(&item_filter);
splitter_filter->set_config_item_t(index_filter, uie::splitter_window::bool_show_caption, val, abort_callback_dummy());
{
splitter_filter->get_config(&conf3, abort_callback_impl());
item_filter_splitter.set_panel_config(&stream_reader_memblock_ref(conf3.m_data.get_ptr(), conf3.m_data.get_size()), conf3.m_data.get_size());
t_size indexfs = splitter3->add_panel(&item_filter_splitter);
splitter3->set_config_item_t(indexfs, uie::splitter_window::bool_show_caption, val, abort_callback_dummy());
bool temp = true;
splitter3->set_config_item_t(indexfs, uie::splitter_window::bool_locked, temp, abort_callback_dummy());
t_uint32 size = 175;
splitter3->set_config_item_t(indexfs, uie::splitter_window::uint32_size, size, abort_callback_dummy());
}
item.set_panel_guid(columns_ui::panels::guid_playlist_view_v2);
t_size index_playlist = splitter3->add_panel(&item);
splitter3->set_config_item(index_playlist, uie::splitter_window::bool_show_caption, &stream_reader_memblock_ref(&val, sizeof(bool)), abort_callback_impl());
splitter3->get_config(&conf2, abort_callback_impl());
item3.set_panel_config(&stream_reader_memblock_ref(conf2.m_data.get_ptr(), conf2.m_data.get_size()), conf2.m_data.get_size());
t_size index_splitter2 = splitter->add_panel(&item3);
splitter->set_config_item_t(index_splitter2, uie::splitter_window::bool_show_caption, val, abort_callback_dummy());
cfg_layout_t::preset preset_default;
preset_default.m_name = "NG Playlist + Playlist Switcher + Filters";
preset_default.m_guid = columns_ui::panels::guid_horizontal_splitter;
stream_writer_memblock_ref conf(preset_default.m_val, true);
splitter->get_config(&conf, abort_callback_impl());
p_out.add_item(preset_default);
index = splitter2->add_panel(&item_artwork);
bool b_true = true;
splitter2->set_config_item_t(index, uie::splitter_window::bool_show_caption, val, abort_callback_dummy());
splitter2->set_config_item_t(index, uie::splitter_window::bool_locked, b_true, abort_callback_dummy());
splitter2->set_config_item_t(index, uie::splitter_window::uint32_size, sz, abort_callback_dummy());
conf1.m_data.set_size(0);
splitter2->get_config(&conf1, abort_callback_impl());
item2.set_panel_config(&stream_reader_memblock_ref(conf1.m_data.get_ptr(), conf1.m_data.get_size()), conf1.m_data.get_size());
splitter->replace_panel(0, &item2);
splitter->set_config_item(0, uie::splitter_window::bool_locked, &stream_reader_memblock_ref(&b_true, sizeof(bool)), abort_callback_impl());
splitter->set_config_item(0, uie::splitter_window::bool_show_caption, &stream_reader_memblock_ref(&val, sizeof(bool)), abort_callback_impl());
splitter->set_config_item(0, uie::splitter_window::uint32_size, &stream_reader_memblock_ref(&sz, sizeof(t_uint32)), abort_callback_impl());
preset_default.m_name = "NG Playlist + Playlist Switcher + Artwork + Filters";
preset_default.m_val.set_size(0);
splitter->get_config(&conf, abort_callback_impl());
t_size index_preset = p_out.add_item(preset_default);
splitter3->remove_panel(0);
conf2.m_data.set_size(0);
splitter3->get_config(&conf2, abort_callback_impl());
item3.set_panel_config(&stream_reader_memblock_ref(conf2.m_data.get_ptr(), conf2.m_data.get_size()), conf2.m_data.get_size());
splitter->replace_panel(index_splitter2, &item3);
splitter->set_config_item_t(index_splitter2, uie::splitter_window::bool_show_caption, false, abort_callback_dummy());
preset_default.m_name = "NG Playlist + Playlist Switcher + Artwork";
splitter->get_config(&stream_writer_memblock_ref(preset_default.m_val, true), abort_callback_dummy());
p_out.insert_item(preset_default, index_preset);
}
}
}
{
uie::window_ptr wnd, wnd2, wnd3, wnd_filter_splitter, wnd_bottom_splitter;
service_ptr_t<uie::splitter_window> splitter, splitter2, splitter3, splitter_filter, splitter_bottom;
if (uie::window::create_by_guid(columns_ui::panels::guid_horizontal_splitter, wnd) && uie::window::create_by_guid(columns_ui::panels::guid_vertical_splitter, wnd2) && uie::window::create_by_guid(columns_ui::panels::guid_vertical_splitter, wnd3)
&& uie::window::create_by_guid(columns_ui::panels::guid_horizontal_splitter, wnd_filter_splitter)
&& uie::window::create_by_guid(columns_ui::panels::guid_horizontal_splitter, wnd_bottom_splitter))
{
if (wnd->service_query_t(splitter) && wnd2->service_query_t(splitter2) && wnd3->service_query_t(splitter3)
&& wnd_filter_splitter->service_query_t(splitter_filter)
&& wnd_bottom_splitter->service_query_t(splitter_bottom))
{
uie::splitter_item_simple_t item, item2, item3, item_filter, item_filter_splitter, item_artwork, item_bottom_splitter, item_item_details;
item.set_panel_guid(columns_ui::panels::guid_playlist_switcher);
item2.set_panel_guid(columns_ui::panels::guid_vertical_splitter);
item3.set_panel_guid(columns_ui::panels::guid_vertical_splitter);
item_filter_splitter.set_panel_guid(columns_ui::panels::guid_horizontal_splitter);
item_bottom_splitter.set_panel_guid(columns_ui::panels::guid_horizontal_splitter);
item_filter.set_panel_guid(columns_ui::panels::guid_filter);
item_artwork.set_panel_guid(columns_ui::panels::guid_artwork_view);
item_item_details.set_panel_guid(columns_ui::panels::guid_item_details);
bool val = true;
splitter2->add_panel(&item);
stream_writer_memblock conf1, conf2, conf3, conf4;
splitter2->get_config(&conf1, abort_callback_impl());
item2.set_panel_config(&stream_reader_memblock_ref(conf1.m_data.get_ptr(), conf1.m_data.get_size()), conf1.m_data.get_size());
t_size index = splitter->add_panel(&item2);
splitter->set_config_item(index, uie::splitter_window::bool_locked, &stream_reader_memblock_ref(&val, sizeof(bool)), abort_callback_impl());
val = false;
splitter->set_config_item(index, uie::splitter_window::bool_show_caption, &stream_reader_memblock_ref(&val, sizeof(bool)), abort_callback_impl());
t_uint32 sz = 175;
splitter->set_config_item(index, uie::splitter_window::uint32_size, &stream_reader_memblock_ref(&sz, sizeof(t_uint32)), abort_callback_impl());
t_size index_filter = splitter_filter->add_panel(&item_filter);
splitter_filter->set_config_item_t(index_filter, uie::splitter_window::bool_show_caption, val, abort_callback_dummy());
index_filter = splitter_filter->add_panel(&item_filter);
splitter_filter->set_config_item_t(index_filter, uie::splitter_window::bool_show_caption, val, abort_callback_dummy());
index_filter = splitter_filter->add_panel(&item_filter);
splitter_filter->set_config_item_t(index_filter, uie::splitter_window::bool_show_caption, val, abort_callback_dummy());
{
splitter_filter->get_config(&conf3, abort_callback_impl());
item_filter_splitter.set_panel_config(&stream_reader_memblock_ref(conf3.m_data.get_ptr(), conf3.m_data.get_size()), conf3.m_data.get_size());
}
item.set_panel_guid(columns_ui::panels::guid_playlist_view_v2);
t_size index_playlist = splitter3->add_panel(&item);
splitter3->set_config_item(index_playlist, uie::splitter_window::bool_show_caption, &stream_reader_memblock_ref(&val, sizeof(bool)), abort_callback_impl());
{
t_size index = splitter_bottom->add_panel(&item_item_details);
splitter_bottom->set_config_item_t(index, uie::splitter_window::bool_show_caption, bool(false), abort_callback_dummy());
index = splitter_bottom->add_panel(&item_artwork);
splitter_bottom->set_config_item_t(index, uie::splitter_window::bool_show_caption, bool(false), abort_callback_dummy());
splitter_bottom->set_config_item_t(index, uie::splitter_window::uint32_size, t_size(125), abort_callback_dummy());
splitter_bottom->set_config_item_t(index, uie::splitter_window::bool_locked, bool(true), abort_callback_dummy());
splitter_bottom->get_config(&conf4, abort_callback_impl());
item_bottom_splitter.set_panel_config(&stream_reader_memblock_ref(conf4.m_data.get_ptr(), conf4.m_data.get_size()), conf4.m_data.get_size());
index = splitter3->add_panel(&item_bottom_splitter);
splitter3->set_config_item_t(index, uie::splitter_window::bool_show_caption, bool(false), abort_callback_dummy());
splitter3->set_config_item_t(index, uie::splitter_window::bool_locked, bool(true), abort_callback_dummy());
splitter3->set_config_item_t(index, uie::splitter_window::uint32_size, t_size(125), abort_callback_dummy());
}
splitter3->get_config(&conf2, abort_callback_impl());
item3.set_panel_config(&stream_reader_memblock_ref(conf2.m_data.get_ptr(), conf2.m_data.get_size()), conf2.m_data.get_size());
t_size index_splitter2 = splitter->add_panel(&item3);
splitter->set_config_item_t(index_splitter2, uie::splitter_window::bool_show_caption, val, abort_callback_dummy());
cfg_layout_t::preset preset_default;
preset_default.m_name = "NG Playlist + Playlist Switcher + Item Details + Artwork";
preset_default.m_guid = columns_ui::panels::guid_horizontal_splitter;
stream_writer_memblock_ref conf(preset_default.m_val, true);
splitter->get_config(&conf, abort_callback_impl());
p_out.add_item(preset_default);
{
t_size indexfs = 0;
splitter3->insert_panel(0, &item_filter_splitter);
splitter3->set_config_item_t(indexfs, uie::splitter_window::bool_show_caption, false, abort_callback_dummy());
splitter3->set_config_item_t(indexfs, uie::splitter_window::bool_locked, true, abort_callback_dummy());
t_uint32 size = 175;
splitter3->set_config_item_t(indexfs, uie::splitter_window::uint32_size, size, abort_callback_dummy());
}
conf2.m_data.set_size(0);
splitter3->get_config(&conf2, abort_callback_impl());
item3.set_panel_config(&stream_reader_memblock_ref(conf2.m_data.get_ptr(), conf2.m_data.get_size()), conf2.m_data.get_size());
//t_size index_splitter2 =
splitter->replace_panel(1, &item3);
splitter->set_config_item_t(1, uie::splitter_window::bool_show_caption, false, abort_callback_dummy());
cfg_layout_t::preset preset_default2;
preset_default2.m_name = "NG Playlist + Playlist Switcher + Filters + Item Details + Artwork";
preset_default2.m_guid = columns_ui::panels::guid_horizontal_splitter;
stream_writer_memblock_ref conft(preset_default2.m_val, true);
splitter->get_config(&conft, abort_callback_impl());
p_out.add_item(preset_default2);
}
}
}
{
uie::window_ptr wnd;
service_ptr_t<uie::splitter_window> splitter;
if (uie::window::create_by_guid(columns_ui::panels::guid_playlist_tabs, wnd))
{
if (wnd->service_query_t(splitter))
{
uie::splitter_item_simple_t item;
item.set_panel_guid(columns_ui::panels::guid_playlist_view_v2);
splitter->add_panel(&item);
cfg_layout_t::preset preset_default;
preset_default.m_name = "NG Playlist + Playlist Tabs";
preset_default.m_guid = columns_ui::panels::guid_playlist_tabs;
stream_writer_memblock_ref conf(preset_default.m_val, true);
splitter->get_config(&conf, abort_callback_impl());
//m_active = pfc_infinite;
p_out.add_item(preset_default);
}
}
}
{
uie::window_ptr wnd, wnd2, wnd3, wnd_filter_splitter, wnd_bottom_splitter;
service_ptr_t<uie::splitter_window> splitter, splitter_tabs, splitter3, splitter_filter, splitter_bottom;
if (uie::window::create_by_guid(columns_ui::panels::guid_horizontal_splitter, wnd) && uie::window::create_by_guid(columns_ui::panels::guid_playlist_tabs, wnd2) && uie::window::create_by_guid(columns_ui::panels::guid_vertical_splitter, wnd3)
&& uie::window::create_by_guid(columns_ui::panels::guid_horizontal_splitter, wnd_filter_splitter)
&& uie::window::create_by_guid(columns_ui::panels::guid_horizontal_splitter, wnd_bottom_splitter))
{
if (wnd->service_query_t(splitter) && wnd2->service_query_t(splitter_tabs) && wnd3->service_query_t(splitter3)
&& wnd_filter_splitter->service_query_t(splitter_filter)
&& wnd_bottom_splitter->service_query_t(splitter_bottom))
{
uie::splitter_item_simple_t item_tabs, item, item3, item_filter, item_filter_splitter, item_artwork, item_bottom_splitter, item_item_details;
item_tabs.set_panel_guid(columns_ui::panels::guid_playlist_tabs);
item3.set_panel_guid(columns_ui::panels::guid_vertical_splitter);
item_filter_splitter.set_panel_guid(columns_ui::panels::guid_horizontal_splitter);
item_bottom_splitter.set_panel_guid(columns_ui::panels::guid_horizontal_splitter);
item_filter.set_panel_guid(columns_ui::panels::guid_filter);
item_artwork.set_panel_guid(columns_ui::panels::guid_artwork_view);
item_item_details.set_panel_guid(columns_ui::panels::guid_item_details);
bool val = true;
stream_writer_memblock conf1, conf2, conf3, conf4;
val = false;
t_uint32 sz = 175;
t_size index_filter = splitter_filter->add_panel(&item_filter);
splitter_filter->set_config_item_t(index_filter, uie::splitter_window::bool_show_caption, val, abort_callback_dummy());
index_filter = splitter_filter->add_panel(&item_filter);
splitter_filter->set_config_item_t(index_filter, uie::splitter_window::bool_show_caption, val, abort_callback_dummy());
index_filter = splitter_filter->add_panel(&item_filter);
splitter_filter->set_config_item_t(index_filter, uie::splitter_window::bool_show_caption, val, abort_callback_dummy());
{
splitter_filter->get_config(&conf3, abort_callback_impl());
item_filter_splitter.set_panel_config(&stream_reader_memblock_ref(conf3.m_data.get_ptr(), conf3.m_data.get_size()), conf3.m_data.get_size());
t_size indexfs = splitter3->add_panel(&item_filter_splitter);
splitter3->set_config_item_t(indexfs, uie::splitter_window::bool_show_caption, val, abort_callback_dummy());
bool temp = true;
splitter3->set_config_item_t(indexfs, uie::splitter_window::bool_locked, temp, abort_callback_dummy());
t_uint32 size = 175;
splitter3->set_config_item_t(indexfs, uie::splitter_window::uint32_size, size, abort_callback_dummy());
}
item.set_panel_guid(columns_ui::panels::guid_playlist_view_v2);
t_size index_playlist = splitter_tabs->add_panel(&item);
splitter_tabs->get_config(&conf1, abort_callback_impl());
item_tabs.set_panel_config(&stream_reader_memblock_ref(conf1.m_data.get_ptr(), conf1.m_data.get_size()), conf1.m_data.get_size());
t_size index_tabs = splitter3->add_panel(&item_tabs);
splitter3->set_config_item_t(index_tabs, uie::splitter_window::bool_show_caption, false, abort_callback_impl());
splitter3->get_config(&conf2, abort_callback_impl());
item3.set_panel_config(&stream_reader_memblock_ref(conf2.m_data.get_ptr(), conf2.m_data.get_size()), conf2.m_data.get_size());
t_size index_splitter2 = splitter->add_panel(&item3);
splitter->set_config_item_t(index_splitter2, uie::splitter_window::bool_show_caption, val, abort_callback_dummy());
cfg_layout_t::preset preset_default;
preset_default.m_name = "NG Playlist + Playlist Tabs + Filters";
preset_default.m_guid = columns_ui::panels::guid_horizontal_splitter;
stream_writer_memblock_ref conf(preset_default.m_val, true);
splitter->get_config(&conf, abort_callback_impl());
p_out.add_item(preset_default);
{
t_size index = splitter_bottom->add_panel(&item_item_details);
splitter_bottom->set_config_item_t(index, uie::splitter_window::bool_show_caption, bool(false), abort_callback_dummy());
index = splitter_bottom->add_panel(&item_artwork);
splitter_bottom->set_config_item_t(index, uie::splitter_window::bool_show_caption, bool(false), abort_callback_dummy());
splitter_bottom->set_config_item_t(index, uie::splitter_window::uint32_size, t_size(125), abort_callback_dummy());
splitter_bottom->set_config_item_t(index, uie::splitter_window::bool_locked, bool(true), abort_callback_dummy());
splitter_bottom->get_config(&conf4, abort_callback_impl());
item_bottom_splitter.set_panel_config(&stream_reader_memblock_ref(conf4.m_data.get_ptr(), conf4.m_data.get_size()), conf4.m_data.get_size());
index = splitter3->add_panel(&item_bottom_splitter);
splitter3->set_config_item_t(index, uie::splitter_window::bool_show_caption, bool(false), abort_callback_dummy());
splitter3->set_config_item_t(index, uie::splitter_window::bool_locked, bool(true), abort_callback_dummy());
splitter3->set_config_item_t(index, uie::splitter_window::uint32_size, t_size(125), abort_callback_dummy());
}
conf2.m_data.set_size(0);
splitter3->get_config(&conf2, abort_callback_impl());
item3.set_panel_config(&stream_reader_memblock_ref(conf2.m_data.get_ptr(), conf2.m_data.get_size()), conf2.m_data.get_size());
splitter->replace_panel(index_splitter2, &item3);
splitter->set_config_item_t(index_splitter2, uie::splitter_window::bool_show_caption, false, abort_callback_dummy());
preset_default.m_name = "NG Playlist + Playlist Tabs + Filters + Item Details + Artwork";
preset_default.m_guid = columns_ui::panels::guid_horizontal_splitter;
splitter->get_config(&stream_writer_memblock_ref(preset_default.m_val, true), abort_callback_impl());
t_size preset_tabs_all = p_out.add_item(preset_default);
splitter3->remove_panel(0);
conf2.m_data.set_size(0);
splitter3->get_config(&conf2, abort_callback_impl());
item3.set_panel_config(&stream_reader_memblock_ref(conf2.m_data.get_ptr(), conf2.m_data.get_size()), conf2.m_data.get_size());
splitter->replace_panel(index_splitter2, &item3);
splitter->set_config_item_t(index_splitter2, uie::splitter_window::bool_show_caption, false, abort_callback_dummy());
preset_default.m_name = "NG Playlist + Playlist Tabs + Item Details + Artwork";
preset_default.m_guid = columns_ui::panels::guid_horizontal_splitter;
splitter->get_config(&stream_writer_memblock_ref(preset_default.m_val, true), abort_callback_impl());
p_out.insert_item(preset_default, preset_tabs_all);
}
}
}
}