Jeremy Soller 9783dd4e55 Fix background of tabs		2023-12-21 12:05:05 -07:00
..
main.rs	Fix background of tabs	2023-12-21 12:05:05 -07:00
terminal.rs	Do not draw scrollbar when not needed, draw background behind scrollbar	2023-12-21 10:26:17 -07:00
terminal_box.rs	Use 85% opacity by default	2023-12-21 11:57:52 -07:00
terminal_theme.rs	Add OneHalfDark theme and script for testing theme	2023-12-21 09:44:44 -07:00