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

Remove duplicate Request History panels from individual tabs

Browse Source
This commit is contained in:
Pavel Baksy 2025-12-30 19:51:33 +01:00
parent fec2b26d70
commit a90f08f124
1 changed files with 2 additions and 24 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

26
src/request_tab_widget.py
View File

@ -104,17 +104,9 @@ class RequestTabWidget(Gtk.Box):
self.url_container.append(url_clamp)
self.append(self.url_container)
# Vertical Paned: Main Content | History Panel
vpane = Gtk.Paned(orientation=Gtk.Orientation.VERTICAL)
vpane.set_vexpand(True)
vpane.set_position(600)
vpane.set_shrink_start_child(False)
vpane.set_shrink_end_child(True)
vpane.set_resize_start_child(True)
vpane.set_resize_end_child(True)
# 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_shrink_start_child(False)
split_pane.set_shrink_end_child(False)
@ -229,21 +221,7 @@ class RequestTabWidget(Gtk.Box):
split_pane.set_end_child(response_box)
vpane.set_start_child(split_pane)
# History Panel (placeholder for now)
history_box = Gtk.Box(orientation=Gtk.Orientation.VERTICAL)
history_label = Gtk.Label(label="Request History")
history_label.add_css_class("heading")
history_label.set_margin_start(12)
history_label.set_margin_end(12)
history_label.set_margin_top(6)
history_label.set_xalign(0)
history_box.append(history_label)
vpane.set_end_child(history_box)
self.append(vpane)
self.append(split_pane)
def _build_headers_tab(self):
"""Build the headers tab."""