#37575

pending completion

Build # #37575

Build Type

push

local

Committed by

web-flow

Commit Message

Name LLVM variables from codegen (#50094)

Run Details

72701 of 84227 relevant lines covered (86.32%)

33561253.47 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
    # 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,
        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,
                    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	46✔
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	# default IOContext settings at the REPL
31	iocontext::Dict{Symbol,Any}
32	end
33
34	Options(;	×
35	hascolor = true,
36	extra_keymap = AnyDict[],
37	tabwidth = 8,
38	kill_ring_max = 100,
39	region_animation_duration = 0.2,
40	beep_duration = 0.2, beep_blink = 0.2, beep_maxduration = 1.0,
41	beep_colors = ["\e[90m"], # gray (text_colors not yet available)
42	beep_use_current = true,
43	backspace_align = true, backspace_adjust = backspace_align,
44	confirm_exit = false,
45	auto_indent = true,
46	auto_indent_tmp_off = false,
47	auto_indent_bracketed_paste = false,
48	auto_indent_time_threshold = 0.005,
49	auto_refresh_time_delay = Sys.iswindows() ? 0.05 : 0.0,
50	iocontext = Dict{Symbol,Any}()) =	92✔
51	Options(hascolor, extra_keymap, tabwidth,
52	kill_ring_max, region_animation_duration,
53	beep_duration, beep_blink, beep_maxduration,
54	beep_colors, beep_use_current,
55	backspace_align, backspace_adjust, confirm_exit,
56	auto_indent, auto_indent_tmp_off, auto_indent_bracketed_paste,
57	auto_indent_time_threshold, auto_refresh_time_delay,
58	iocontext)
59
60	# for use by REPLs not having an options field
61	const GlobalOptions = Options()

JuliaLang / julia / #37575

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