Sticky header even without quick tips
I usually disable git-log--graph.hide-quick-branch-tips because I dislike the scrolling area that sometimes appear and I find most of the text a bit redundant. But then I lose the GREAT sticky header (I even forgot about it):
So I what about keeping an empty space at the top the size of the History and All branches buttons:
- You would align them horizontally, I feel like moving
Historyto the left is the right call - IMO This also looks better than having the two buttons over the table occluding info.
- The region can increase its size if required when many branch names are stickied (as it does now)
As always, I guess I would keep an option to toggle this/previous behavior to keep everybody happy.
Regarding the quick tip area info, I feel like a ghost commit in the graph indicating existing changes is simpler:
good ideas here, and the quick tip area info text thingy is just the output of cli git status that I put there because frankly I didn't know what else to put in this area, and having some information about for example an ongoing merge or rebase situation can be helpful. it looks horrible though.