Pratyush Yadav
Pratyush Yadav
Yep, I just discovered this when messing around. AFAIK, this is provided by Tk, and we don't do anything special for it. It can be turned on/off via the `-tearoff`...
Just so we are on the same page, would `git gui diff` and `git gui merge` be separate sub-tools (like `git gui blame` and `git gui browse` for example)? Or...
A single sub-tool for diff would be great. But with merge, we would have a lot of duplication since similar merge conflict resolution and highlighting features need to be present...
I'm working on it. But I am new to this project so I don't know if @velazcod still reviews changes. I'll still make a pull request and see what happens
Well, I have implemented the feature and created a pull request. Let's see if anyone with write access is still active.
Why did the check fail? It complies on my system.
@velazcod Is it fine now?
I can't reproduce the bug either. Running Android 5.1.1, app built from source. Also, which language and keyboard are you using?
I would work on this, but the last commit I pushed it wasn't accepted. The creator isn't active so it's kind of pointless to put in effort on this
@orgads Sorry, I no longer maintain this. https://github.com/j6t/git-gui is the fork that should be actively maintained. Again, sorry for not replying earlier.