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')