Oscar Wallberg
|
0aa8048eea
|
fix(ghostty): update window padding
|
2025-02-14 18:52:11 +01:00 |
|
Oscar Wallberg
|
dc60872abd
|
fix(ghostty): adjust window padding
|
2025-02-09 16:16:53 +01:00 |
|
Oscar Wallberg
|
2cc2c8d9bb
|
fix(ghostty): prefer server-side decorations explicitly
|
2025-02-09 16:08:19 +01:00 |
|
Oscar Wallberg
|
909618c686
|
feat(ghostty): switch to ghostty
|
2025-01-07 12:09:26 +01:00 |
|