gtdraw/gui_settings.yaml at main · gambitproject/gtdraw · GitHub

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
# draw GUI master settings
# Per-game overrides are written here automatically as you adjust settings.
# Edit the defaults section to change settings that apply to all games.
# Consult https://www.gambit-project.org/draw/ for available settings.

defaults:
  color_scheme: colorblind
overrides:
  kuhn-4-card:
    level_scaling: 2.0
    sublevel_scaling: 0.5
    width_scaling: 0.75
    shared_terminal_depth: true
    color_scheme: colorblind
    edge_thickness: 1.6
    font_family: sffamily
    font_italic: true
    font_size: Large
    iset_fill: true
    iset_boundary: none
    iset_curved: true
    node_size: 3.1
    label_bg:
      0: true
    vary_action_label_positions: true
    vary_action_label_positions_by: level
    vary_action_label_positions_choices:
    - 4
    - 5
    - 6
    - 7
    - 15
    - 16
    - 17
    - 18
    - 19
    - 20
    - 21
    - 22
    - 23
    - 24
    - 28
    - 13
  MAS_Fig6_2:
    color_scheme: custom
    custom_colors:
      0: '#759138'
      1: '#000000'
      2: '#11a1fd'
    font_family: sffamily
    font_italic: true
    action_label_dist: 5.0
    iset_fill: true
    iset_curved: true
  kuhn-3-card-v1:
    scale_factor: 0.65
    level_scaling: 1.75
    shared_terminal_depth: true
    color_scheme: colorblind
    iset_fill: true
    iset_boundary: none
    iset_curved: true
    iset_curved_bend:
      -3: 0.0
      3: 0.0
      5: 0.0
      7: 0.0
      10: 0.0
      12: 0.0
      14: 0.0
      16: 0.0
      17: 0.0
      18: 0.0
      19: 0.0
      20: 0.0
      21: -20.0
      23: -20.0
      24: 0.0
    iset_curved_bend_by: level
    label_bg:
      0: true
    label_bg_style: white_bg
    label_bg_opacity: 0.95