Create tetengo2::gui::widget::map_box::splitter_position() and set_splitter_position()
Add a parameter to the constructor of bobura::property_bar
Correct compilation errors
Move the main window dimension saving to the settings from bobura::message::main_window::window_closing to bobura::main_window::save_settings()
Create bobura::settings::property_bar_width(), set_property_bar_width(), property_bar_splitter_position() and set_property_bar_splitter_position()
Load and save the property bar settings
Create bobura::settings::property_bar_minimized() and set_property_bar_minimized()
Load and save the minimized settings of the property bar
Correct loading the settings
Merge branch 'propbar_settings'