This website requires JavaScript.
Explore
Help
Register
Sign In
ZacharyZhang-NY
/
ELYTerminal
Watch
1
Star
10
Fork
0
Code
Issues
3
Pull Requests
Actions
Packages
Projects
Releases
8
Wiki
Activity
Files
efda50f14215eb83f20fe0374ca13c0b32649aac
ELYTerminal
/
src
/
settings
T
History
ZacharyZhang-NY
15e83f5b7e
CI / platforms (ubuntu-24.04) (push)
Successful in 1m4s
Details
CI / platforms (windows-latest) (push)
Successful in 1m36s
Details
CI / macos (push)
Successful in 11m52s
Details
T35: Cmd-Up and Cmd-Down, Ctrl-Shift-Up and Ctrl-Shift-Down off macOS, jump to the prompt before or after the view's top, as Ghostty jumps: the tap rewrites each OSC 133 mark in place into an OSC 8 link of the terminal's own, which the parser keeps in the prompt's cells through scroll, reflow and history, and links pass over; the tap's OSC scanner ends a body as vte does
2026-10-16 23:46:58 -04:00
..
window
T35: Cmd-Up and Cmd-Down, Ctrl-Shift-Up and Ctrl-Shift-Down off macOS, jump to the prompt before or after the view's top, as Ghostty jumps: the tap rewrites each OSC 133 mark in place into an OSC 8 link of the terminal's own, which the parser keeps in the prompt's cells through scroll, reflow and history, and links pass over; the tap's OSC scanner ends a body as vte does
2026-10-16 23:46:58 -04:00
mod.rs
T33: the sessions and right columns resize by a drag on their border toward the terminal, 160 to 960 pixels, kept in the settings once a drag rests; Ely 5c2822c's resizable ShellColumn, whose handle occludes the header so the drag moves no window, and Ely 005faef's handle line, a filled hairline, since gpui paints a border no wider than half its box
2026-10-16 20:17:13 -04:00
store.rs
T17: a font saves, and a settings file starts, only when gpui loads it as the terminal draws it, so the terminal never falls back without a word; numbers save on Enter, on leaving the field and on each step; after a refused change a number field drops its draft and the font picker shows the saved family again
2026-10-14 22:37:18 -04:00
window.rs
T26: the arrow over the terminal; the settings window drops General, its Shell and Start in leading Terminal, which lists every shortcut from the keymap with a search, and its categories and page are two columns that scroll apart
2026-10-15 20:08:10 -04:00