#37620

Committed 14 Sep 2023 12:24AM UTC coverage: 85.982% (-0.7%) from 86.645%

Build # #37620

Build Type

push

local

Committed by

web-flow

Commit Message

EA: some noncritical updates on EA (#51292)

Run Details

9 of 9 new or added lines in 3 files covered. (100.0%)

73376 of 85339 relevant lines covered (85.98%)

12810329.83 hits per line

Source File
Press 'n' to go to next uncovered line, 'b' for previous

66.67

/stdlib/REPL/src/options.jl

# This file is a part of Julia. License is MIT: https://julialang.org/license

## User Options

mutable struct Options
    hascolor::Bool
    extra_keymap::Union{Dict,Vector{<:Dict}}
    # controls the presumed tab width of code pasted into the REPL.
    # Must satisfy `0 < tabwidth <= 16`.
    tabwidth::Int
    # Maximum number of entries in the kill ring queue.
    # Beyond this number, oldest entries are discarded first.
    kill_ring_max::Int
    region_animation_duration::Float64
    beep_duration::Float64
    beep_blink::Float64
    beep_maxduration::Float64
    beep_colors::Vector{String}
    beep_use_current::Bool
    backspace_align::Bool
    backspace_adjust::Bool
    confirm_exit::Bool # ^D must be repeated to confirm exit
    auto_indent::Bool # indent a newline like line above
    auto_indent_tmp_off::Bool # switch auto_indent temporarily off if copy&paste
    auto_indent_bracketed_paste::Bool # set to true if terminal knows paste mode
    # cancel auto-indent when next character is entered within this time frame :
    auto_indent_time_threshold::Float64
    # refresh after time delay
    auto_refresh_time_delay::Float64
    hint_tab_completes::Bool
    # default IOContext settings at the REPL
    iocontext::Dict{Symbol,Any}
end

Options(;
        hascolor = true,
        extra_keymap = AnyDict[],
        tabwidth = 8,
        kill_ring_max = 100,
        region_animation_duration = 0.2,
        beep_duration = 0.2, beep_blink = 0.2, beep_maxduration = 1.0,
        beep_colors = ["\e[90m"], # gray (text_colors not yet available)
        beep_use_current = true,
        backspace_align = true, backspace_adjust = backspace_align,
        confirm_exit = false,
        auto_indent = true,
        auto_indent_tmp_off = false,
        auto_indent_bracketed_paste = false,
        auto_indent_time_threshold = 0.005,
        auto_refresh_time_delay = Sys.iswindows() ? 0.05 : 0.0,
        hint_tab_completes = true,
        iocontext = Dict{Symbol,Any}()) =
            Options(hascolor, extra_keymap, tabwidth,
                    kill_ring_max, region_animation_duration,
                    beep_duration, beep_blink, beep_maxduration,
                    beep_colors, beep_use_current,
                    backspace_align, backspace_adjust, confirm_exit,
                    auto_indent, auto_indent_tmp_off, auto_indent_bracketed_paste,
                    auto_indent_time_threshold, auto_refresh_time_delay,
                    hint_tab_completes,
                    iocontext)

# for use by REPLs not having an options field
const GlobalOptions = Options()

1	# This file is a part of Julia. License is MIT: https://julialang.org/license
2
3	## User Options
4
5	mutable struct Options
6	hascolor::Bool	52✔
7	extra_keymap::Union{Dict,Vector{<:Dict}}
8	# controls the presumed tab width of code pasted into the REPL.
9	# Must satisfy `0 < tabwidth <= 16`.
10	tabwidth::Int
11	# Maximum number of entries in the kill ring queue.
12	# Beyond this number, oldest entries are discarded first.
13	kill_ring_max::Int
14	region_animation_duration::Float64
15	beep_duration::Float64
16	beep_blink::Float64
17	beep_maxduration::Float64
18	beep_colors::Vector{String}
19	beep_use_current::Bool
20	backspace_align::Bool
21	backspace_adjust::Bool
22	confirm_exit::Bool # ^D must be repeated to confirm exit
23	auto_indent::Bool # indent a newline like line above
24	auto_indent_tmp_off::Bool # switch auto_indent temporarily off if copy&paste
25	auto_indent_bracketed_paste::Bool # set to true if terminal knows paste mode
26	# cancel auto-indent when next character is entered within this time frame :
27	auto_indent_time_threshold::Float64
28	# refresh after time delay
29	auto_refresh_time_delay::Float64
30	hint_tab_completes::Bool
31	# default IOContext settings at the REPL
32	iocontext::Dict{Symbol,Any}
33	end
34
35	Options(;	×
36	hascolor = true,
37	extra_keymap = AnyDict[],
38	tabwidth = 8,
39	kill_ring_max = 100,
40	region_animation_duration = 0.2,
41	beep_duration = 0.2, beep_blink = 0.2, beep_maxduration = 1.0,
42	beep_colors = ["\e[90m"], # gray (text_colors not yet available)
43	beep_use_current = true,
44	backspace_align = true, backspace_adjust = backspace_align,
45	confirm_exit = false,
46	auto_indent = true,
47	auto_indent_tmp_off = false,
48	auto_indent_bracketed_paste = false,
49	auto_indent_time_threshold = 0.005,
50	auto_refresh_time_delay = Sys.iswindows() ? 0.05 : 0.0,
51	hint_tab_completes = true,
52	iocontext = Dict{Symbol,Any}()) =	104✔
53	Options(hascolor, extra_keymap, tabwidth,
54	kill_ring_max, region_animation_duration,
55	beep_duration, beep_blink, beep_maxduration,
56	beep_colors, beep_use_current,
57	backspace_align, backspace_adjust, confirm_exit,
58	auto_indent, auto_indent_tmp_off, auto_indent_bracketed_paste,
59	auto_indent_time_threshold, auto_refresh_time_delay,
60	hint_tab_completes,
61	iocontext)
62
63	# for use by REPLs not having an options field
64	const GlobalOptions = Options()

JuliaLang / julia / #37620

Source File Press 'n' to go to next uncovered line, 'b' for previous

Source File
Press 'n' to go to next uncovered line, 'b' for previous