Unified · Split
| @@ -164,7 +164,7 @@ Configurable Options · 163 unmodified lines | |||
| 164 | the window. | 164 | the window. |
| 165 | 165 | ||
| 166 | ``border_size`` | 166 | ``border_size`` |
| 167 | Default: 1.32 | 167 | Default: 1.65 |
| 168 | 168 | ||
| 169 | Set the font border size used for the REPL and the console. | 169 | Set the font border size used for the REPL and the console. |
| 170 | 170 | ||
| @@ -2925,7 +2925,7 @@ Subtitles · 2924 unmodified lines | |||
| 2925 | 2925 | ||
| 2926 | ``--sub-border-size`` is an alias for ``--sub-outline-size``. | 2926 | ``--sub-border-size`` is an alias for ``--sub-outline-size``. |
| 2927 | 2927 | ||
| 2928 | Default: 2.09 | 2928 | Default: 1.65 |
| 2929 | 2929 | ||
| 2930 | ``--sub-border-style=<outline-and-shadow|opaque-box|background-box>`` | 2930 | ``--sub-border-style=<outline-and-shadow|opaque-box|background-box>`` |
| 2931 | The style of the border. | 2931 | The style of the border. |
| @@ -165,7 +165,7 @@ Configurable Options · 164 unmodified lines | |||
| 165 | Color of the text. | 165 | Color of the text. |
| 166 | 166 | ||
| 167 | ``border_size`` | 167 | ``border_size`` |
| 168 | Default: 1.2 | 168 | Default: 1.65 |
| 169 | 169 | ||
| 170 | Size of border drawn around the font. | 170 | Size of border drawn around the font. |
| 171 | 171 | ||
| @@ -31,7 +31,7 @@ local platform = detect_platform() · 30 unmodified lines | |||
| 31 | local opts = { | 31 | local opts = { |
| 32 | font = "", | 32 | font = "", |
| 33 | font_size = 24, | 33 | font_size = 24, |
| 34 | border_size = 1.32, | 34 | border_size = 1.65, |
| 35 | scale_with_window = "auto", | 35 | scale_with_window = "auto", |
| 36 | case_sensitive = platform ~= 'windows' and true or false, | 36 | case_sensitive = platform ~= 'windows' and true or false, |
| 37 | history_dedup = true, | 37 | history_dedup = true, |
| @@ -56,7 +56,7 @@ local o = { · 55 unmodified lines | |||
| 56 | font_mono = "monospace", -- monospaced digits are sufficient | 56 | font_mono = "monospace", -- monospaced digits are sufficient |
| 57 | font_size = 20, | 57 | font_size = 20, |
| 58 | font_color = "", | 58 | font_color = "", |
| 59 | border_size = 1.2, | 59 | border_size = 1.65, |
| 60 | border_color = "", | 60 | border_color = "", |
| 61 | shadow_x_offset = 0.0, | 61 | shadow_x_offset = 0.0, |
| 62 | shadow_y_offset = 0.0, | 62 | shadow_y_offset = 0.0, |
| @@ -106,7 +106,7 @@ const struct m_sub_options sub_style_conf = { · 105 unmodified lines | |||
| 106 | .outline_color = {0, 0, 0, 255}, | 106 | .outline_color = {0, 0, 0, 255}, |
| 107 | .back_color = {240, 240, 240, 128}, | 107 | .back_color = {240, 240, 240, 128}, |
| 108 | .border_style = 1, | 108 | .border_style = 1, |
| 109 | .outline_size = 2.09, | 109 | .outline_size = 1.65, |
| 110 | .shadow_offset = 0, | 110 | .shadow_offset = 0, |
| 111 | .margin_x = 19, | 111 | .margin_x = 19, |
| 112 | .margin_y = 34, | 112 | .margin_y = 34, |