diff options
| author | Phil Jones <philj56@gmail.com> | 2022-06-26 00:01:36 +0100 |
|---|---|---|
| committer | Phil Jones <philj56@gmail.com> | 2022-06-26 00:01:36 +0100 |
| commit | 32e2cb851e5acd1163c9418a2efa138fcdac6070 (patch) | |
| tree | 75b780a8a3aa81e0b9c1f71c96518b034ec44f69 /themes/dos | |
| parent | 54bfc7ead8b9f833bc8953dc1493d3b0cb6b9387 (diff) | |
Add bash completions.
Also change --font-name option to just --font.
Diffstat (limited to 'themes/dos')
| -rw-r--r-- | themes/dos | 2 |
1 files changed, 1 insertions, 1 deletions
@@ -1,4 +1,4 @@ -font-name = VT323 +font = VT323 corner-radius = 120 outline-color = #D3D1B9 outline-width = 6 |