13
0

move Range Properties to bottom of sidebar, to avoid juggling the Section items around

This commit is contained in:
Ben Loftis 2023-08-27 08:37:51 -05:00
parent 1f6db3a865
commit b92e3e6695

View File

@ -757,8 +757,8 @@ Editor::Editor ()
editor_summary_pane.add (_summary_hbox);
edit_pane.set_check_divider_position (true);
edit_pane.add (editor_summary_pane);
_editor_list_vbox.pack_start (*_properties_box, false, false, 0);
_editor_list_vbox.pack_start (_the_notebook);
_editor_list_vbox.pack_start (*_properties_box, false, false, 0);
edit_pane.add (_editor_list_vbox);
edit_pane.set_child_minsize (_editor_list_vbox, 30); /* rough guess at width of notebook tabs */