Add vertical tab bars on the left and right#9855
Add vertical tab bars on the left and right#9855bvolpato wants to merge 1 commit intokovidgoyal:masterfrom
Conversation
Teach tab_bar_edge about left and right sidebars and route tab layout, hit-testing, and drag/drop through the vertical axis when needed.
|
Will review actual code when I have more time. Just as an initial comment, Also, at a more meta level, for vertical tabs it should be possible to From a UI perspective, it might make sense to leave a blank line between |
Summary
Add real side tab bars by teaching
tab_bar_edgeaboutleftandrightand rendering tabs as a vertical sidebar.Changes
leftandrightvalues totab_bar_edgeTesting
python3 -m py_compile kitty/tab_bar.py kitty/tabs.py kitty/boss.py kitty/options/utils.py kitty/options/definition.py kitty_tests/options.py kitty_tests/tab_bar.py./dev.sh build --debug, but this environment does not have the Linux X11/OpenGL development headers needed for kitty's native build (x11.pcand related headers were missing)Repro / Manual Check
Use a config like:
Open several tabs and verify:
Refs #2305