diff options
| author | Sören Tempel <soeren+git@soeren-tempel.net> | 2021-05-24 21:21:06 +0200 |
|---|---|---|
| committer | Sören Tempel <soeren+git@soeren-tempel.net> | 2021-05-24 21:21:06 +0200 |
| commit | a7dceab464dbac7fa51e932373170ed8847a5be5 (patch) | |
| tree | 63127584ffddc4b60962c7b9a181f3bf3e47bc5e /DESIGN.md | |
| parent | ae63a6f67d8addbb0e22872704621e7eaae1b344 (diff) | |
terminal: Use Gtk.CheckMenuItem for config options
Diffstat (limited to 'DESIGN.md')
0 files changed, 0 insertions, 0 deletions