Fix #7275: sidebar scrolling on webkit browsers#7288
Merged
nicolasstucki merged 1 commit intoscala:masterfrom Sep 23, 2019
Merged
Fix #7275: sidebar scrolling on webkit browsers#7288nicolasstucki merged 1 commit intoscala:masterfrom
nicolasstucki merged 1 commit intoscala:masterfrom
