beval/roster
1
0
Fork 0
Code Issues Pull Requests Actions Packages Projects Releases Wiki Activity

Adjust panel proportions: sidebar 15%, request/response 42.5%

Browse Source
This commit is contained in:
Pavel Baksy 2026-01-04 00:53:20 +01:00
parent 33e9df9139
commit f0b20be562
2 changed files with 2 additions and 2 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

2
src/main-window.ui
View File

@ -9,7 +9,7 @@
<property name="content"> <property name="content">
<object class="GtkPaned" id="main_pane"> <object class="GtkPaned" id="main_pane">
<property name="orientation">horizontal</property> <property name="orientation">horizontal</property>
<property name="position">300</property> <property name="position">180</property>
<property name="shrink-start-child">False</property> <property name="shrink-start-child">False</property>
<property name="resize-start-child">True</property> <property name="resize-start-child">True</property>
<property name="shrink-end-child">False</property> <property name="shrink-end-child">False</property>

2
src/request_tab_widget.py
View File

@ -114,7 +114,7 @@ class RequestTabWidget(Gtk.Box):
# Horizontal Split: Request | Response # Horizontal Split: Request | Response
split_pane = Gtk.Paned(orientation=Gtk.Orientation.HORIZONTAL) split_pane = Gtk.Paned(orientation=Gtk.Orientation.HORIZONTAL)
split_pane.set_vexpand(True) 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_start_child(False)
split_pane.set_shrink_end_child(False) split_pane.set_shrink_end_child(False)
split_pane.set_resize_start_child(True) split_pane.set_resize_start_child(True)