From e0f8b93a5e90d3957554a5c32aa4a6c53bb8be19 Mon Sep 17 00:00:00 2001 From: Ali Mirjamali Date: Wed, 5 Jun 2024 00:07:03 +0330 Subject: [PATCH] Uneditable column headers in policy editor Fixes: https://github.com/QubesOS/qubes-issues/issues/9061 (cherry picked from commit 415c7b1dcfd26b1ff8e91cd686abeaeca643a07b) --- qubes_config/policy_editor/policy_editor.py | 1 + 1 file changed, 1 insertion(+) diff --git a/qubes_config/policy_editor/policy_editor.py b/qubes_config/policy_editor/policy_editor.py index f8f531a..36bc5ef 100644 --- a/qubes_config/policy_editor/policy_editor.py +++ b/qubes_config/policy_editor/policy_editor.py @@ -193,6 +193,7 @@ def perform_setup(self): self.header_buffer.set_text(HEADER_NORMAL) self.header_view.set_show_line_numbers(True) self.header_view.set_monospace(True) + self.header_view.set_editable(False) self.source_viewport: Gtk.Viewport = \ self.builder.get_object('source_viewport')