diff options
Diffstat (limited to 'gdb/cli/cli-style.h')
-rw-r--r-- | gdb/cli/cli-style.h | 9 |
1 files changed, 0 insertions, 9 deletions
diff --git a/gdb/cli/cli-style.h b/gdb/cli/cli-style.h index c2e0df1b337..6422e5296a3 100644 --- a/gdb/cli/cli-style.h +++ b/gdb/cli/cli-style.h @@ -124,15 +124,6 @@ extern cli_style_option tui_border_style; /* The border style of a TUI window that does have the focus. */ extern cli_style_option tui_active_border_style; -/* The style for the common prefix of completions. */ -extern cli_style_option completion_prefix_style; - -/* The style for the difference character of completions. */ -extern cli_style_option completion_difference_style; - -/* The style for the suffix of completions. */ -extern cli_style_option completion_suffix_style; - /* True if source styling is enabled. */ extern bool source_styling; |