Adjust panel proportions: sidebar 15%, request/response 42.5%
This commit is contained in:
parent
b38c1e77c7
commit
81e0aab111
@ -9,7 +9,7 @@
|
||||
<property name="content">
|
||||
<object class="GtkPaned" id="main_pane">
|
||||
<property name="orientation">horizontal</property>
|
||||
<property name="position">300</property>
|
||||
<property name="position">180</property>
|
||||
<property name="shrink-start-child">False</property>
|
||||
<property name="resize-start-child">True</property>
|
||||
<property name="shrink-end-child">False</property>
|
||||
|
||||
@ -114,7 +114,7 @@ class RequestTabWidget(Gtk.Box):
|
||||
# Horizontal Split: Request | Response
|
||||
split_pane = Gtk.Paned(orientation=Gtk.Orientation.HORIZONTAL)
|
||||
split_pane.set_vexpand(True)
|
||||
split_pane.set_position(600)
|
||||
split_pane.set_position(510)
|
||||
split_pane.set_shrink_start_child(False)
|
||||
split_pane.set_shrink_end_child(False)
|
||||
split_pane.set_resize_start_child(True)
|
||||
|
||||
Loading…
x
Reference in New Issue
Block a user