Welcome to mirror list, hosted at ThFree Co, Russian Federation.

github.com/mono/monodevelop.git - Unnamed repository; edit this file 'description' to name the repository.
summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorJeffrey Stedfast <jestedfa@microsoft.com>2019-10-29 21:20:03 +0300
committerGitHub <noreply@github.com>2019-10-29 21:20:03 +0300
commitc06ff7293674f919dae30ad44a0b6b4aac3ced14 (patch)
treea1e26dfd370394211a9ec40d8f6aa87707874226 /main/external
parent05d83cb8f55ac924da54a3ce67ddf905581cac84 (diff)
parent339d0852324990938bd2168edbf8ba15dd21b7d7 (diff)
Merge pull request #9126 from mono/pr-sandy-pinned-watch-scrolling
[Debugger] Prevent pinned watches from disappearing during scroll/etc
Diffstat (limited to 'main/external')
0 files changed, 0 insertions, 0 deletions