More work on the conf docs

This commit is contained in:
Kovid Goyal 2018-06-04 07:56:22 +05:30
parent 2ae3157d49
commit ffdb91ffd5
No known key found for this signature in database
GPG Key ID: 06BC317B515ACE7C
3 changed files with 22 additions and 4 deletions

View File

@ -340,7 +340,7 @@ def render_conf(ref_prefix, all_options):
a((' {:%ds} {}' % sz).format(mo.name, mo.defval_as_string))
a('')
if opt.long_text:
a(opt.long_text, ' ')
a(opt.long_text)
a('')
return '\n'.join(ans)

View File

@ -308,7 +308,6 @@ def window_size(val):
type_map = {
'allow_remote_control': to_bool,
'focus_follows_mouse': to_bool,
'rectangle_select_modifiers': to_modifiers,
'repaint_delay': positive_int,
'input_delay': positive_int,
'sync_to_monitor': to_bool,
@ -319,8 +318,6 @@ type_map = {
'window_padding_width': positive_float,
'visual_bell_duration': positive_float,
'enable_audio_bell': to_bool,
'click_interval': positive_float,
'mouse_hide_wait': positive_float,
'enabled_layouts': to_layout_names,
'remember_window_size': to_bool,
'initial_window_width': window_size,

View File

@ -223,4 +223,25 @@ such as macOS/Wayland that do not have the concept of primary selections. Note
that this is a security risk, as all programs, including websites open in your
browser can read the contents of the clipboard.'''))
o('rectangle_select_modifiers', 'ctrl+alt', option_type=to_modifiers, long_text=_('''
The modifiers to use rectangular selection (i.e. to select text in a
rectangular block with the mouse)'''))
o('select_by_word_characters', ':@-./_~?&=%+#', long_text=_('''
Characters considered part of a word when double clicking. In addition to these characters
any character that is marked as an alpha-numeric character in the unicode
database will be matched.'''))
o('click_interval', 0.5, option_type=positive_float, long_text=_('''
The interval between successive clicks to detect
double/triple clicks (in seconds)'''))
o('mouse_hide_wait', 3.0, option_type=positive_float, long_text=_('''
Hide mouse cursor after the specified number of seconds
of the mouse not being used. Set to zero to disable mouse cursor hiding.'''))
o('focus_follows_mouse', False, long_text=_('''
Set the active window to the window under the mouse when
moving the mouse around'''))
# }}}