From 67fccb53097faacdb918f475c40ac36e860a45bd Mon Sep 17 00:00:00 2001 From: Zion Date: Tue, 18 Jan 2022 09:23:48 -0700 Subject: [PATCH] updated add_context_pane settings use (#796) --- gef.py | 3 +-- 1 file changed, 1 insertion(+), 2 deletions(-) diff --git a/gef.py b/gef.py index 17b3d35ca..280d9dd7c 100644 --- a/gef.py +++ b/gef.py @@ -10570,8 +10570,7 @@ def add_context_pane(self, pane_name: str, display_pane_function: Callable, pane # assure users can toggle the new context corrected_settings_name = pane_name.replace(" ", "_") - layout_settings = context.get_setting("layout") - context.update_setting("layout", f"{layout_settings} {corrected_settings_name}") + gef.config["context.layout"] += f" {corrected_settings_name}" # overload the printing of pane title context.layout_mapping[corrected_settings_name] = (display_pane_function, pane_title_function)