Michael Seibt

> I use GE on WSL 80 % of the time, but WSL works good enough for me. I know. I have just started using it - with a lot...

> Should we create a PR with the changes in here for now? Yes, please, including afb4688f000b478fadeec95192ff1420289902e9. (I have not updated the TODO list.) (I think the default push-to-repo should...

> I see the same behavior with https://github.com/gitextensions/gitextensions/pull/11481 GH seems to close every issue which is mentioned with "fix" in the same line. 👎

The commit message is updated asynchronously since #10737, i.e. v4.1 might work better for you.

This is a pretty weird one: While moving the mouse _inside_ the RevisionGrid, `_gridView.MouseEnter` is emitted sometimes, namely when the mouse hits the tooltip itself. If it is the last...

The removal of `_gridView.MouseEnter` has not resolved this issue. It reoccurred after a few days in hibernation.

@PeterMinin, you could try https://ci.appveyor.com/project/gitextensions/gitextensions/builds/45223566/artifacts. If it was not such complicated, I would rather place the git output in the lower left corner in order to have it visible always....

I have updated the description. to be done? 1. internal `AppSetting` for number of displayed results 2. hide by default 3. store splitter position 4. DPI-awareness 5. add toggle button...

> I have updated the description. ... but forgot to push the update button. There is no tab anymore but a splitter added to the Left Panel. > see GPG...

> I liked the tab better than this panel It always occupies space, it is not often I want to view the contents. I don't need it always - but...