これは既知のバグで、2017 summerバージョンで直るらしい。 こんな基本的な不具合が残ったままリリースされるのがSalesforceクオリティ。 参考： Developer Console jumping when using mouse scroll