Gerhard Olsson

> Just wanted to add my 0.02€ that green color for highlighting looked much better (seen it when using older versions of this feature) as it gave out positive vibes...

Pushed a hack for the gap between the search and filter boxes. There is a minor display issue still if the search box is shown after startup, fixed with a...

> Are you also getting this error upon startup in `gerhardol/feature/i4912-git-grep-ui`? I've even did a `git clean -xdf` to make sure that it's not my local artifacts causing this. I...

> Are you also getting this error upon startup in `gerhardol/feature/i4912-git-grep-ui`? I've even did a `git clean -xdf` to make sure that it's not my local artifacts causing this. A...

An alternative to 6050919c63b0c3bc220fe60fd516656305fa7c7a would be to not toggle search off/on while loading the control, as the size is apparently incorrect at that point. This would require that 8 occurrences...

You can as well open the PR for discussion, it is easier to give comments then. The current "merging" of message/notes is partly historic, partly to not "use resources" for...

This will make development of the core app annoying, will slow down the app for the benefit of a few plugins. Most moved functionality does not make sense in a...

With this, you know if the plugins require changes after a GE update. On the other hand, there are so much core functionality in Extensibility that the plugins will always...

Duplicate of #11387 From Windows, eg. in GE console: wsl -d Ubuntu git remote git remote From Ubuntu: git remote

Windows command "wsl.exe" that invokes Git in wsl occasionally fails. We should probably add an additional popup for wsl, similar to permission handling to avoid sporadic reports - failures will...