-
Notifications
You must be signed in to change notification settings - Fork 0
Expand file tree
/
Copy pathdefault_cfg.yaml
More file actions
96 lines (78 loc) · 6.03 KB
/
default_cfg.yaml
File metadata and controls
96 lines (78 loc) · 6.03 KB
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
93
94
95
96
# time interval in displaying profile
render_interval: 0.15 # unit: second
# Whether to fold the repeat part in rendering model structure tree
tree_fold_repeat: True
# Display settings for repeat blocks in the model structure tree
# It actually is a rich.panel.Panel object, refer to https://rich.readthedocs.io/en/latest/reference/panel.html#rich.panel.Panel
tree_repeat_block_args:
title: '[i]Repeat [[b]<repeat_time>[/b]] Times[/]' # Title of the repeat block, accept rich styling
title_align: center # Title alignment, left, center, right
subtitle: null # Subtitle of the repeat block, accept rich styling
subtitle_align: center # Subtitle alignment, left, center, right
style: dark_goldenrod # Style of the repeat block, execute `python -m rich.theme` to get more
highlight: true # Whether to highlight the value (number, string...)
box: HEAVY_EDGE # Box type, use its name directly like here!!! execute `python -m rich.box` to get more
border_style: dim # Border style, execute `python -m rich.theme` to get more
width: null # Width of the repeat block, null means auto
height: null # Height of the repeat block, null means auto
padding: # Padding of the repeat block
- 0 # top/bottom padding
- 1 # left/right padding
expand: false # Whether to expand the repeat block to full screen size
# Fine-grained display settings for each level in the model structure tree
# It actually is a rich.tree.Tree object, refer to https://rich.readthedocs.io/en/latest/reference/tree.html#rich.tree.Tree
# the `level` field is necessary!!!! It indicates that the following settings will be applied to that layer.
# level 0 indicates the root node(i.e. the model itself), level 1 indicates the first layer of model children, and so on.
tree_levels_args:
default: # Necessary!!!! Alternatively, you can set use 'all' to apply below settings to all levels
label: '[b gray35](<node_id>) [green]<name>[/green] [cyan]<type>[/]' # node represent string, accept rich styling
style: tree # Style of the node, execute `python -m rich.theme` to get more
guide_style: light_coral # Guide style of the node, execute `python -m rich.theme` to get more
highlight: true # Whether to highlight the value (number, string...)
hide_root: false # Whether to not display the node in this level
expanded: true # Whether to display the node's children
'0': # Necessary!!!! The number indicates that the following settings will be applied to that layer.
label: '[b light_coral]<name>[/]'
guide_style: light_coral
# if other settings is not specified, it will use the default settings defined by the `level default`
# Display settings for each column in the profile table
# It actually is a rich.table.Column object, refer to https://rich.readthedocs.io/en/latest/reference/table.html#rich.table.Column
table_column_args:
style: none # Style of the column, execute `python -m rich.theme` to get more
justify: center # Justify of the column, left, center, right
vertical: middle # Vertical align of the column, top, middle, bottom
overflow: fold # Overflow of the column, fold, crop, ellipsis, see https://rich.readthedocs.io/en/latest/console.html?highlight=overflow#overflow
no_wrap: false # Prevent wrapping of text within the column.
# Display settings for the profile table
# It actually is a rich.table.Table object, refer to https://rich.readthedocs.io/en/latest/reference/table.html#rich.table.Table
table_display_args:
style: spring_green4 # Style of the table, execute `python -m rich.theme` to get more
highlight: true # Whether to highlight the value (number, string...)
width: null # The width in characters of the table, or `null` to automatically fit
min_width: null # The minimum width of the table, or `null` for no minimum
expand: false # Whether to expand the table to full screen size
padding: # Padding for cells
- 0 # top/bottom padding
- 1 # left/right padding
collapse_padding: false # Whether to enable collapsing of padding around cells
pad_edge: true # Whether to enable padding of edge cells
leading: 0 # Number of blank lines between rows (precludes `show_lines` below)
title: null # Title of the table, accept rich styling
title_style: bold # Style of the title, execute `python -m rich.theme` to get more
title_justify: center # Justify of the title, left, center, right
caption: null # The table caption rendered below, accept rich styling
caption_style: null # Style of the caption, execute `python -m rich.theme` to get more
caption_justify: center # Justify of the caption, left, center, right
show_header: true # Whether to show the header row
header_style: bold # Style of the header, execute `python -m rich.theme` to get more
show_footer: false # Whether to show the footer row
footer_style: italic # Style of the footer, execute `python -m rich.theme` to get more
show_lines: false # Whether to show lines between rows
row_styles: null # Optional list of row styles, if more than one style is given then the styles will alternate
show_edge: true # Whether to show the edge of the table
box: ROUNDED # Box type, use its name directly like here!!! execute `python -m rich.box` to get more
safe_box: true # Whether to disable box characters that don't display on windows legacy terminal with *raster* fonts
border_style: null # Style of the border, execute `python -m rich.theme` to get more
# Display settings about how to combine the tree and table in the profile
combine:
horizon_gap: 2 # horizontal gap in pixel between the tree and table