From 0070e0a58a3cc43dc44cd605357eda3a4ce3f6da Mon Sep 17 00:00:00 2001 From: Kovid Goyal Date: Mon, 4 Jun 2018 11:15:57 +0530 Subject: [PATCH] More conf docs --- kitty/config.py | 1 - kitty/config_data.py | 23 ++++++++++++++++++++--- 2 files changed, 20 insertions(+), 4 deletions(-) diff --git a/kitty/config.py b/kitty/config.py index daec034b7..14fa026de 100644 --- a/kitty/config.py +++ b/kitty/config.py @@ -315,7 +315,6 @@ type_map = { 'window_margin_width': positive_float, 'tab_bar_margin_width': positive_float, 'window_padding_width': positive_float, - 'visual_bell_duration': positive_float, 'enable_audio_bell': to_bool, 'enabled_layouts': to_layout_names, 'remember_window_size': to_bool, diff --git a/kitty/config_data.py b/kitty/config_data.py index 39eb5b34b..015860033 100644 --- a/kitty/config_data.py +++ b/kitty/config_data.py @@ -93,12 +93,10 @@ o, g, all_groups = option_func(all_options, { ], 'cursor': [_('Cursor customization'), ], - 'scrollback': [_('Scrollback'), ], - 'mouse': [_('Mouse'), ], - 'performance': [_('Performance tuning')], + 'bell': [_('Terminal bell')], }) type_map = {o.name: o.option_type for o in all_options.values()} # }}} @@ -267,3 +265,22 @@ very high speed mouse/high keyboard repeat rate, you may notice some slight inpu If so, set this to no.''')) # }}} + +g('bell') # {{{ + +o('enable_audio_bell', True, long_text=_(''' +Enable/disable the audio bell. Useful in environments that require silence.''')) + +o('visual_bell_duration', 0.0, option_type=positive_float, long_text=_(''' +Visual bell duration. Flash the screen when a bell occurs for the specified number of +seconds. Set to zero to disable.''')) + +o('window_alert_on_bell', True, long_text=_(''' +Request window attention on bell. +Makes the dock icon bounce on macOS or the taskbar flash on linux.''')) + +o('bell_on_tab', True, long_text=_(''' +Show a bell symbol on the tab if a bell occurs in one of the windows in the +tab and the window is not the currently focused window''')) + +# }}}